Menu
Search

Forums

Forum Index

Thread overview
LDC Klee integration?
May 23, 2017
Mike B Johnson
May 23, 2017
Mike B Johnson
May 24, 2017
Nicholas Wilson
May 24, 2017
David Nadlinger
May 23, 2017
Stefan Koch
May 23, 2017
Gravatar of Mike B JohnsonPosted by Mike B JohnsonReply
Mike B Johnson
Gravatar of Mike B Johnson


Reply
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
Gravatar of Mike B JohnsonPosted by Mike B Johnson
in reply to Mike B Johnson		Reply
Mike B Johnson
Gravatar of Mike B Johnson
Posted in reply to Mike B Johnson


Reply
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
Gravatar of Stefan KochPosted by Stefan Koch
in reply to Mike B Johnson		Reply
Stefan Koch
Gravatar of Stefan Koch
Posted in reply to Mike B Johnson


Reply
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, 2017
Gravatar of Nicholas WilsonPosted by Nicholas Wilson
in reply to Mike B Johnson		Reply
Nicholas Wilson
Gravatar of Nicholas Wilson
Posted in reply to Mike B Johnson


Reply
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, 2017
Gravatar of David NadlingerPosted by David Nadlinger
in reply to Nicholas Wilson		Reply
David Nadlinger
Gravatar of David Nadlinger
Posted in reply to Nicholas Wilson


Reply
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