[LLVMdev] Proposal for better assertions in LLVM

FlyLanguage flylanguage at gmail.com
Tue Jul 26 12:12:02 PDT 2011


Den 26.07.2011 20:12, skrev Talin:
> On Tue, Jul 26, 2011 at 10:56 AM, FlyLanguage <flylanguage at gmail.com
> <mailto:flylanguage at gmail.com>> wrote:
>
>            #define ASSERT_STRM(cond, args) \
>              if (!(cond)) AssertionFailureStream(__FILE____, __LINE__)
>         << args
>
>         Note that there's no trailing semicolon, as this is supplied at the
>         point where the macro is invoked.
>
>         What do you think?
>
>
>     Neat, but inducing a debug trap is even more useful on asserts
>     (optionally).
>
>
> What's the best way to do that? I'd like to incorporate it into my
> frontend's diagnostics.

Depends on platform. asm {int 3} on x86, asm {trap} on ppc,  DebugBreak 
on windows, etc.




More information about the llvm-dev mailing list