[cfe-dev] Enhance ConditionBRVisitor to write out more information

Csaba Dabis via cfe-dev cfe-dev at lists.llvm.org
Wed Oct 10 06:47:32 PDT 2018


I have found a problem in ConditionBRVisitor which is a *7* years old code
made by Ted Kremenek:

Sometimes it is impossible to write out what happens in a condition, only
because of this code piece which is do nothing, but prevents information.
After removing the GDM visiting some of the messages are duplicated because
of the PostStmt visiting, where I have not found a way to remove the
duplications. The patch where my project stucked:

Thanks you for the suggestions,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20181010/ef7e2785/attachment.html>

More information about the cfe-dev mailing list