codeql/java/ql/test/query-tests/ContinueInFalseLoop/A.java at sauyon/java-spring-stringutils · ByteDecoder/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
public class A {

  public interface Cond {
    boolean cond();
  }

  void test1(int x, Cond c) {
    int i;

    // --- do loops ---

    do {
      if (c.cond())
        continue; // BAD
      if (c.cond())
        break;
    } while (false);

    do {
      if (c.cond())
        continue;
      if (c.cond())
        break;
    } while (true);

    do {
      if (c.cond())
        continue;
      if (c.cond())
        break;
    } while (c.cond());


    // --- nested loops ---

    do {
      do {
        if (c.cond())
          continue; // BAD
        if (c.cond())
          break;
      } while (false);
      if (c.cond())
        break;
    } while (true);

    do {
      do {
        if (c.cond())
          continue; // GOOD
        if (c.cond())
          break;
      } while (true);
    } while (false);

    do {
      switch (x) {
      case 1:
        // do [1]
        break; // break out of the switch
      default:
        // do [2]
        // break out of the loop entirely, skipping [3]
        continue; // BAD; labelled break is better
      };
      // do [3]
    } while (false);
  }
}