Skip to content

Commit a51ab1e

Browse files
Update forwardanalyzer.cpp
1 parent 8e12016 commit a51ab1e

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

lib/forwardanalyzer.cpp

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -208,7 +208,9 @@ namespace {
208208
bool checkThen, checkElse;
209209
std::tie(checkThen, checkElse) = evalCond(condTok);
210210
if (!checkThen && !checkElse) {
211-
if (!traverseUnknown && stopOnCondition(condTok)) {
211+
if (!traverseUnknown && stopOnCondition(condTok) && stopUpdates()) {
212+
if (tok->str() == "?")
213+
analyzeOnly = false;
212214
return Progress::Continue;
213215
}
214216
checkThen = true;

0 commit comments

Comments
 (0)