Thread overview
LDC Klee integration?
May 23
Anyone know about this? Seems useful... if D could have something like this that is mostly automatic it would be very powerful.
May 23
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
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 24
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 24
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