[PATCH] D103096: [analyzer] Implement cast for ranges of symbolic integers.

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1908-1912
+    // Handle SymbolCast before actual assignment.
+    std::tie(Sym, NewConstraint) =
+        modifySymbolAndConstraints(Sym, NewConstraint);
+    if (!State)
+      return nullptr;
----------------
That's not using `ConstraintAssignor`, you simply put your implementation in here.  That won't do!


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

https://reviews.llvm.org/D103096