[PATCH] D39682: [analyzer] Fix a crash on logical operators with vectors.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 6 04:51:57 PST 2017
xazax.hun accepted this revision.
xazax.hun added a comment.
This revision is now accepted and ready to land.
Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:633
+ // modeled as short-circuit in Clang CFG but this is incorrect.
+ StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
+ // Do not set the value for the expression. It'd be UnknownVal by default.
I was wondering maybe moving this code down a bit you could reuse the `StmtNodeBuilder` bellow and the could be slightly shorter. But I guess it is just the matter of taste.
More information about the cfe-commits