[cfe-dev] Tagging error nodes by using addTransition with tag

[YuvalShahar]

Once I decided to emit an error in one of my checkers, I do something like
that:

static SimpleProgramPointTag Tag("tag");
if(ExplodedNode *N = C.addTransition(C.getState(), &Tag)) { ... }

I've noticed that by doing so, the next statement won't get enqueue into the
work list, so basically the exploration stops at that point.

If I just use C.addTransition()
exploration won't stop, but in some cased I'll hit the assert point in
BugReporter that says "No error node found in the trimmed graph"

In both cases the state itself stays the same.

So,
What am I doing wrong? What is the correct way to emit an error ?

Thanks




--
View this message in context: http://clang-developers.42468.n3.nabble.com/Tagging-error-nodes-by-using-addTransition-with-tag-tp4039497.html
Sent from the Clang Developers mailing list archive at Nabble.com.