[PATCH] D105340: [analyzer] Produce SymbolCast symbols for integral types in SValBuilder::evalCast

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added inline comments.


================
Comment at: clang/test/Analysis/range_casts.c:125-126
   if (index - 1UL == 0L) // Was not reached prior fix.
-    clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}
+    // Tempopary regression in scope of implementing integral cast.
+    // This will be restored as soon as all commits are loaded.
+    clang_analyzer_warnIfReached(); // no-warning
----------------
The main purpose of the new option is exactly to prevent "temporary regressions" so that everything works just as it did before


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D105340/new/

https://reviews.llvm.org/D105340