We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
variableScope
1 parent 1049973 commit e04cb02Copy full SHA for e04cb02
1 file changed
lib/programmemory.cpp
@@ -1394,8 +1394,8 @@ namespace {
1394
if (conditions1.empty())
1395
return unknown();
1396
std::unordered_map<nonneg int, ValueFlow::Value> condValues = executeAll(conditions1, &b);
1397
- bool allNegated = true;
1398
{
+ bool allNegated = true;
1399
ValueFlow::Value negatedValue = unknown();
1400
for (const auto& p : condValues) {
1401
const ValueFlow::Value& v = p.second;
0 commit comments