[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder
    Balázs Benics via Phabricator via cfe-commits 
    cfe-commits at lists.llvm.org
       
    Fri Nov 19 08:01:07 PST 2021
    
    
  
steakhal added a comment.
Great news, thanks.
================
Comment at: clang/test/Analysis/svalbuilder-simplify-intsym.cpp:18
+    return;
+  clang_analyzer_eval(x == 77);         // expected-warning{{TRUE}}
+  (void)(x * y);
----------------
extra spaces?
Repository:
  rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D113754/new/
https://reviews.llvm.org/D113754
    
    
More information about the cfe-commits
mailing list