ASDenysPetrov 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;
----------------
vsavchenko wrote:
> ASDenysPetrov wrote:
> > vsavchenko wrote:
> > > That's not using `ConstraintAssignor`, you simply put your implementation 
> > > in here.  That won't do!
> > OK, please tell me how to use it correctly in my case.
> Can you read the comments first and then ask me if you have any specific 
> questions?
I think I did it. Could you please review the changes?


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

https://reviews.llvm.org/D103096

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to