We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9686089 commit 4e8f4e2Copy full SHA for 4e8f4e2
src/analyses/goto_check.cpp
@@ -1917,8 +1917,7 @@ void goto_checkt::goto_check(
1917
const auto &pragmas = i.source_location().get_pragmas();
1918
for(const auto &d : pragmas)
1919
{
1920
- auto err_msg = [&]()
1921
- {
+ auto err_msg = [&]() {
1922
return "Found enable and disable pragmas for " + id2string(d.first) +
1923
" at \n" + i.source_location().pretty();
1924
};
@@ -2041,8 +2040,7 @@ void goto_checkt::goto_check(
2041
2040
// safety
2042
2043
flag_resett no_enum_check_flag_resetter;
2044
2045
2046
return "no_enum_check flag disabled and enabled at \n" +
2047
i.source_location().pretty();
2048
0 commit comments