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