Charusso marked an inline comment as done.
Charusso added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp:123
state = state->BindExpr(B, LCtx, Result);
}
----------------
I have seen we are producing tons of Unknowns and I am still not sure where
they go, but even if I remove that condition these Unknowns will not shown up
in the ExplodedGraph. I believe that should be the correct behavior.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63720/new/
https://reviews.llvm.org/D63720
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
