martong accepted this revision.
martong added a comment.
This revision is now accepted and ready to land.
LGTM!
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:687
/// A small helper structure representing symbolic equality.
///
----------------
This is no longer a `structure`.
================
Comment at: clang/test/Analysis/equality_tracking.c:223-235
+void implyDisequalityFromGT(int a, int b) {
+ if (a > b) {
+ clang_analyzer_eval(a == b); // expected-warning{{FALSE}}
+ clang_analyzer_eval(a != b); // expected-warning{{TRUE}}
+ }
+}
+
----------------
Thanks, for the new test cases!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D105693/new/
https://reviews.llvm.org/D105693
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
