www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.ldc - LDC Klee integration?

reply Mike B Johnson <Mikey Ikes.com> writes:
Anyone know about this? Seems useful... if D could have something 
like this that is mostly automatic it would be very powerful.
May 23 2017
next sibling parent reply Mike B Johnson <Mikey Ikes.com> writes:
On Tuesday, 23 May 2017 at 21:00:26 UTC, Mike B Johnson wrote:

 Anyone know about this? Seems useful... if D could have 
 something like this that is mostly automatic it would be very 
 powerful.


Also, can LDC use LLDB?
May 23 2017
parent reply Nicholas Wilson <iamthewilsonator hotmail.com> writes:
On Tuesday, 23 May 2017 at 21:04:48 UTC, Mike B Johnson wrote:

 On Tuesday, 23 May 2017 at 21:00:26 UTC, Mike B Johnson wrote:

 Anyone know about this? Seems useful... if D could have 
 something like this that is mostly automatic it would be very 
 powerful.


 Also, can LDC use LLDB?


See https://github.com/ldc-developers/ldc/issues/2028 for 
progress.
May 23 2017
parent David Nadlinger via digitalmars-d-ldc <digitalmars-d-ldc puremagic.com> writes:
On 24 May 2017, at 2:41, Nicholas Wilson via digitalmars-d-ldc wrote:

 On Tuesday, 23 May 2017 at 21:04:48 UTC, Mike B Johnson wrote:

 Also, can LDC use LLDB?


 See https://github.com/ldc-developers/ldc/issues/2028 for progress.


That issue is about LLD, which is one B short of a debugger. ;)

LLDB can be used with any supported executable type, just like GDB, 
regardless of the compiler used to create it (thus, of course, including 
LDC). The handling of D types/mangled names might be a bit worse than in 
GDB, though.

  — David
May 24 2017
prev sibling parent Stefan Koch <uplink.coder googlemail.com> writes:
On Tuesday, 23 May 2017 at 21:00:26 UTC, Mike B Johnson wrote:

 Anyone know about this? Seems useful... if D could have 
 something like this that is mostly automatic it would be very 
 powerful.


KLEE does not work with a current llvm.
Also it's rather slow.
May 23 2017