Skip to content

Commit 192c2ee

Browse files
committed
restrict to known values
1 parent a32cd61 commit 192c2ee

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎lib/valueflow.cpp‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3746,6 +3746,8 @@ static void valueFlowSymbolicOperators(const SymbolDatabase& symboldatabase, con
37463746
for (const auto &value : vartok->values()) {
37473747
if (!value.isSymbolicValue())
37483748
continue;
3749+
if (!value.isKnown())
3750+
continue;
37493751
if (!value.tokvalue)
37503752
continue;
37513753
if (!ids.insert(value.tokvalue->exprId()).second)

0 commit comments

Comments
 (0)