zaks.anna added a comment.
Thanks for working on this!
================
Comment at: lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp:443
+ if (auto LCV = Val.getAs<nonloc::LazyCompoundVal>())
+ return C.getSymbolManager().getRegionValueSymbol(LCV->getRegion());
+
----------------
This might create a new symbol. Is this what we want?
================
Comment at: lib/StaticAnalyzer/Core/ProgramState.cpp:694
+ if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(Reg)) {
+ SymbolRef Sym = getSymbolManager().getRegionValueSymbol(TVR);
+
----------------
This might create a new symbol as well. Is this what we want here?
https://reviews.llvm.org/D28445
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
