[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