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 044f298 commit 716b25eCopy full SHA for 716b25e
regression/goto-analyzer/dependence-graph13/main.c
@@ -1,6 +1,5 @@
1
void func()
2
{
3
-
4
}
5
6
void main(void)
src/analyses/dependence_graph.cpp
@@ -214,8 +214,9 @@ void dep_graph_domaint::transform(
214
std::all_of(
215
std::next(control_deps.begin()),
216
control_deps.end(),
217
- [](const goto_programt::const_targett &d)
218
- { return d->is_function_call(); }),
+ [](const goto_programt::const_targett &d) {
+ return d->is_function_call();
219
+ }),
220
"All entries must be function calls");
221
222
control_deps.clear();
0 commit comments