LDC Klee integration?

[David Nadlinger via digitalmars-d-ldc]

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