Files
codeql/cpp/ql/test/library-tests/controlflow/dominance/bbIDominates.expected
2018-08-02 17:53:23 +01:00

35 lines
1.4 KiB
Plaintext

| staticFalse | 4 | { ... } | 8 | { ... } |
| staticFalse | 8 | { ... } | 11 | if (...) ... |
| staticFalse | 11 | if (...) ... | 11 | { ... } |
| staticFalse | 11 | if (...) ... | 13 | { ... } |
| staticFalse | 11 | if (...) ... | 16 | ExprStmt |
| test | 2 | { ... } | 7 | { ... } |
| test | 2 | { ... } | 10 | { ... } |
| test | 2 | { ... } | 14 | ExprStmt |
| test | 14 | ExprStmt | 2 | test |
| test | 14 | ExprStmt | 18 | ExprStmt |
| test | 14 | ExprStmt | 20 | return ... |
| test | 18 | ExprStmt | 26 | { ... } |
| test | 18 | ExprStmt | 31 | ExprStmt |
| test | 31 | ExprStmt | 34 | x |
| test | 34 | x | 34 | { ... } |
| test | 34 | x | 39 | ExprStmt |
| test | 39 | ExprStmt | 42 | j |
| test | 42 | j | 42 | { ... } |
| test | 42 | j | 47 | ExprStmt |
| test | 47 | ExprStmt | 50 | j |
| test | 50 | j | 50 | { ... } |
| test | 50 | j | 64 | label ...: |
| test | 50 | { ... } | 50 | label ...: |
| test | 50 | { ... } | 53 | if (...) ... |
| test | 50 | { ... } | 59 | { ... } |
| test | 53 | if (...) ... | 53 | { ... } |
| test | 53 | if (...) ... | 56 | { ... } |
| test2 | 74 | { ... } | 77 | { ... } |
| test2 | 77 | { ... } | 79 | { ... } |
| test2 | 77 | { ... } | 83 | if (...) ... |
| test2 | 83 | if (...) ... | 74 | test2 |
| test2 | 83 | if (...) ... | 84 | break; |
| test2 | 83 | if (...) ... | 85 | if (...) ... |
| test2 | 85 | if (...) ... | 0 | { ... } |