NoQ marked an inline comment as done.
NoQ added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:3009-3010
for (const BugReport &Report : EQ) {
- if (Report.getErrorNode()->getState() == N->getState())
+ if (Report.getErrorNode()->getState() == N->getState() &&
+ Report.getErrorNode()->getLocation() == N->getLocation())
return true;
----------------
The fix in `test/Analysis/dump_egraph.c` is related to this change. Previously
multiple nodes in the dump were marked as `"has_report": true` and the `CHECK`
directives were in a wrong order but went unnoticed.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D64110/new/
https://reviews.llvm.org/D64110
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
