Skip to content

Commit

Permalink
asImpossible
Browse files Browse the repository at this point in the history
  • Loading branch information
danmar committed Mar 7, 2024
1 parent ae9feb0 commit d247145
Showing 1 changed file with 1 addition and 8 deletions.
9 changes: 1 addition & 8 deletions lib/valueflowfast.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -3492,16 +3492,9 @@ static bool isBreakScope(const Token* const endToken)
return Token::findmatch(endToken->link(), "break|goto", endToken);
}

static ValueFlow::Value asImpossible(ValueFlow::Value v)
{
v.invertRange();
v.setImpossible();
return v;
}

static void insertImpossible(std::list<ValueFlow::Value>& values, const std::list<ValueFlow::Value>& input)
{
std::transform(input.begin(), input.end(), std::back_inserter(values), &asImpossible);
std::transform(input.begin(), input.end(), std::back_inserter(values), &ValueFlow::asImpossible);
}

static std::vector<const Variable*> getExprVariables(const Token* expr,
Expand Down

0 comments on commit d247145

Please sign in to comment.