[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