NoQ planned changes to this revision. NoQ added inline comments.
================ Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:286 + // FIXME: Why do we need to do that if WipeV was known to begin with? + State = State->bindLoc(Reg, ExV, LC); + ---------------- a.sidorin wrote: > If I understand correcly, if we call `bindLoc()`, we call > `checkRegionChanges()` callbacks. And if we `bindLoc()` twice, we call them > twice too. Is this what we want here? This is actually an excellent question. https://reviews.llvm.org/D30534 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
