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 cdc73ab commit e7e6dedCopy full SHA for e7e6ded
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -2822,7 +2822,8 @@ void ExprEngine::processBranch(
2822
ProgramStateRef StTrue, StFalse;
2823
StTrue = StFalse = PrevState;
2824
2825
- if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN)) {
+ if (const auto KnownCondValueAssumption =
2826
+ assumeCondition(Condition, PredN)) {
2827
std::tie(StTrue, StFalse) = *KnownCondValueAssumption;
2828
2829
if (!StTrue)
0 commit comments