[PATCH] D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Nov 29 13:20:22 PST 2018
NoQ added a comment.
Test?
================
Comment at: lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:485
+ // Substracting unsigned integers is a nightmare.
+ if (!SingleTy->isSignedIntegerOrEnumerationType())
----------------
I guess it's no longer only about subtracting?
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55051/new/
https://reviews.llvm.org/D55051
More information about the cfe-commits
mailing list