We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 41e94d7 commit 739fb0fCopy full SHA for 739fb0f
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -3752,7 +3752,8 @@ ExprEngine::getEagerlyAssumeBifurcationTags() {
3752
/// If the last EagerlyAssume attempt was successful (i.e. the true and false
3753
/// cases were both feasible), this state trait stores the expression where it
3754
/// happened; otherwise this holds nullptr.
3755
-REGISTER_TRAIT_WITH_PROGRAMSTATE(LastEagerlyAssumeExprIfSuccessful, const Expr *)
+REGISTER_TRAIT_WITH_PROGRAMSTATE(LastEagerlyAssumeExprIfSuccessful,
3756
+ const Expr *)
3757
3758
void ExprEngine::evalEagerlyAssumeBifurcation(ExplodedNodeSet &Dst,
3759
ExplodedNodeSet &Src,
0 commit comments