Skip to content

Commit

Permalink
Format
Browse files Browse the repository at this point in the history
  • Loading branch information
chrchr-github committed Feb 13, 2024
1 parent 67842e0 commit 46c883e
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions test/testvalueflow.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -6857,16 +6857,16 @@ class TestValueFlow : public TestFixture {
ASSERT_EQUALS(false, testValueOfXKnown(code, 9U, 1));

code = "int f(std::vector<int>& v) {\n"
" std::vector<int> o = v;\n"
" v.clear();\n"
" for (int i : o) {\n"
" if (i == 1) {\n"
" v.push_back(0);\n"
" }\n"
" }\n"
" auto x = v.empty();\n"
" return x;\n"
"}\n";
" std::vector<int> o = v;\n"
" v.clear();\n"
" for (int i : o) {\n"
" if (i == 1) {\n"
" v.push_back(0);\n"
" }\n"
" }\n"
" auto x = v.empty();\n"
" return x;\n"
"}\n";
ASSERT_EQUALS(false, testValueOfXKnown(code, 10U, 1));
}

Expand Down

0 comments on commit 46c883e

Please sign in to comment.