<div dir="ltr"><div dir="ltr"><div dir="ltr">Hello!<div><br></div><div>I have found a problem in ConditionBRVisitor which is a *7* years old code made by Ted Kremenek: <a href="https://github.com/llvm-mirror/clang/commit/681bc114b51c1198cdec9a165c7d3230abb8f427">https://github.com/llvm-mirror/clang/commit/681bc114b51c1198cdec9a165c7d3230abb8f427</a></div><div><br></div><div>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: <a href="https://reviews.llvm.org/D53076">https://reviews.llvm.org/D53076</a></div><div><br></div><div>Thanks you for the suggestions,</div><div>Csaba.</div></div></div></div>