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 87b1c3e commit 620c69dCopy full SHA for 620c69d
cpp/ql/test/library-tests/syntax-zoo/forstmt.cpp
@@ -1,21 +1,21 @@
1
-void f1() {
+static void f1() {
2
for (int i = 0; i < 10; i++) {
3
l1:
4
}
5
;
6
7
8
-void f2() {
+static void f2() {
9
for (int i = 0; false; i++) { // true edge pruned
10
11
12
13
-void f3() {
+static void f3() {
14
for (int i = 0; true; i++) { // false edge pruned
15
16
17
18
-void f4() {
+static void f4() {
19
for (int i = 0; i < 0; i++) { // true edge pruned
20
21
cpp/ql/test/library-tests/syntax-zoo/lorexpr.c
@@ -1,4 +1,4 @@
-void f() {
+static void f() {
int a, b;
if (a || b) {
0 commit comments