NoQ added inline comments.
================ Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:281 + // Try to recover some path sensitivity in case we couldn't compute the value. + if (ExV.isUnknown()) + ExV = getSValBuilder().conjureSymbolVal(Result, LC, Ex->getType(), ---------------- a.sidorin wrote: > Should we do all these operations with ExV/Reg if the InitV is known? There > is a FIXME but I think it is related to all this code, not to the bindLoc > only. And what happens if we remove this code? My bad: i overwrote `SVal` of `Result` above, and `Result` might have been equal to `Init`, which caused conflict between `InitV` and `ExV`. https://reviews.llvm.org/D30534 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
