codeql/cpp/ql/test/library-tests/basic_blocks/bb_cfg.expected

| f_cond_1 | false | 421 | 421 | 3 [test.c:93:17:93:17] |
| f_cond_1 | false | 424 | 424 | 4 [test.c:93:21:93:21] |
| f_cond_1 | false | 433 | 433 | return ... [test.c:94:5:94:11] |
| f_cond_1 | false | 435 | 435 | { ... } [test.c:92:22:95:1] |
| f_cond_1 | true | 421 | 433 |  |
| f_cond_1 | true | 424 | 433 |  |
| f_cond_1 | true | 435 | 421 | T |
| f_cond_1 | true | 435 | 424 | F |
| f_cond_2 | false | 447 | 447 | 3 [test.c:98:17:98:17] |
| f_cond_2 | false | 450 | 450 | 4 [test.c:98:21:98:21] |
| f_cond_2 | false | 461 | 461 | return ... [test.c:99:5:99:11] |
| f_cond_2 | false | 463 | 463 | { ... } [test.c:97:21:100:1] |
| f_cond_2 | true | 447 | 461 |  |
| f_cond_2 | true | 450 | 461 |  |
| f_cond_2 | true | 463 | 447 | T |
| f_cond_3 | false | 475 | 475 | 3 [test.c:103:17:103:17] |
| f_cond_3 | false | 478 | 478 | 4 [test.c:103:21:103:21] |
| f_cond_3 | false | 489 | 489 | return ... [test.c:104:5:104:11] |
| f_cond_3 | false | 491 | 491 | { ... } [test.c:102:21:105:1] |
| f_cond_3 | true | 475 | 489 |  |
| f_cond_3 | true | 478 | 489 |  |
| f_cond_3 | true | 491 | 478 | F |
| f_do_1 | false | 368 | 368 | { ... } [test.c:72:8:74:5] |
| f_do_1 | false | 372 | 372 | return ... [test.c:75:5:75:11] |
| f_do_1 | false | 374 | 374 | { ... } [test.c:71:20:76:1] |
| f_do_1 | true | 368 | 368 | T |
| f_do_1 | true | 368 | 372 | F |
| f_do_1 | true | 374 | 368 |  |
| f_do_2 | false | 385 | 385 | { ... } [test.c:79:8:81:5] |
| f_do_2 | false | 389 | 389 | return ... [test.c:82:5:82:11] |
| f_do_2 | false | 391 | 391 | { ... } [test.c:78:19:83:1] |
| f_do_2 | true | 385 | 385 | T |
| f_do_2 | true | 391 | 385 |  |
| f_do_3 | false | 402 | 402 | { ... } [test.c:86:8:88:5] |
| f_do_3 | false | 406 | 406 | return ... [test.c:89:5:89:11] |
| f_do_3 | false | 408 | 408 | { ... } [test.c:85:19:90:1] |
| f_do_3 | true | 402 | 406 | F |
| f_do_3 | true | 408 | 402 |  |
| f_for_1 | false | 198 | 198 | i [test.c:28:16:28:16] |
| f_for_1 | false | 207 | 207 | { ... } [test.c:28:29:30:5] |
| f_for_1 | false | 224 | 224 | return ... [test.c:31:5:31:11] |
| f_for_1 | false | 226 | 226 | { ... } [test.c:26:20:32:1] |
| f_for_1 | true | 198 | 207 | T |
| f_for_1 | true | 198 | 224 | F |
| f_for_1 | true | 207 | 198 |  |
| f_for_1 | true | 226 | 198 |  |
| f_for_2 | false | 239 | 239 | 1 [test.c:36:16:36:16] |
| f_for_2 | false | 242 | 242 | { ... } [test.c:36:24:38:5] |
| f_for_2 | false | 259 | 259 | return ... [test.c:39:5:39:11] |
| f_for_2 | false | 261 | 261 | { ... } [test.c:34:20:40:1] |
| f_for_2 | true | 239 | 242 | T |
| f_for_2 | true | 242 | 239 |  |
| f_for_2 | true | 261 | 239 |  |
| f_for_3 | false | 274 | 274 | 0 [test.c:44:16:44:16] |
| f_for_3 | false | 277 | 277 | { ... } [test.c:44:24:46:5] |
| f_for_3 | false | 294 | 294 | return ... [test.c:47:5:47:11] |
| f_for_3 | false | 296 | 296 | { ... } [test.c:42:20:48:1] |
| f_for_3 | true | 274 | 294 | F |
| f_for_3 | true | 277 | 274 |  |
| f_for_3 | true | 296 | 274 |  |
| f_if_1 | false | 135 | 135 | { ... } [test.c:3:12:5:5] |
| f_if_1 | false | 139 | 139 | { ... } [test.c:5:12:7:5] |
| f_if_1 | false | 143 | 143 | return ... [test.c:8:1:8:1] |
| f_if_1 | false | 145 | 145 | { ... } [test.c:2:20:8:1] |
| f_if_1 | true | 135 | 143 |  |
| f_if_1 | true | 139 | 143 |  |
| f_if_1 | true | 145 | 135 | T |
| f_if_1 | true | 145 | 139 | F |
| f_if_2 | false | 156 | 156 | { ... } [test.c:11:12:13:5] |
| f_if_2 | false | 160 | 160 | { ... } [test.c:13:12:15:5] |
| f_if_2 | false | 164 | 164 | return ... [test.c:16:1:16:1] |
| f_if_2 | false | 166 | 166 | { ... } [test.c:10:19:16:1] |
| f_if_2 | true | 156 | 164 |  |
| f_if_2 | true | 160 | 164 |  |
| f_if_2 | true | 166 | 156 | T |
| f_if_3 | false | 177 | 177 | { ... } [test.c:19:12:21:5] |
| f_if_3 | false | 181 | 181 | { ... } [test.c:21:12:23:5] |
| f_if_3 | false | 185 | 185 | return ... [test.c:24:1:24:1] |
| f_if_3 | false | 187 | 187 | { ... } [test.c:18:19:24:1] |
| f_if_3 | true | 177 | 185 |  |
| f_if_3 | true | 181 | 185 |  |
| f_if_3 | true | 187 | 181 | F |
| f_switch_1 | false | 495 | 495 | f_switch_1 [test.c:107:6:107:15] |
| f_switch_1 | false | 504 | 504 | case ...: [test.c:109:9:109:15] |
| f_switch_1 | false | 511 | 511 | case ...: [test.c:111:9:111:15] |
| f_switch_1 | false | 518 | 518 | case ...: [test.c:113:9:113:15] |
| f_switch_1 | false | 523 | 523 | case ...: [test.c:114:9:114:15] |
| f_switch_1 | false | 530 | 530 | case ...: [test.c:116:9:116:15] |
| f_switch_1 | false | 534 | 534 | default:  [test.c:118:9:118:16] |
| f_switch_1 | false | 542 | 542 | return ... [test.c:121:5:121:11] |
| f_switch_1 | false | 544 | 544 | { ... } [test.c:107:24:122:1] |
| f_switch_1 | true | 504 | 495 |  |
| f_switch_1 | true | 511 | 495 |  |
| f_switch_1 | true | 518 | 523 |  |
| f_switch_1 | true | 523 | 530 |  |
| f_switch_1 | true | 530 | 495 |  |
| f_switch_1 | true | 534 | 495 |  |
| f_switch_1 | true | 542 | 495 |  |
| f_switch_1 | true | 544 | 504 |  |
| f_switch_1 | true | 544 | 511 |  |
| f_switch_1 | true | 544 | 518 |  |
| f_switch_1 | true | 544 | 523 |  |
| f_switch_1 | true | 544 | 530 |  |
| f_switch_1 | true | 544 | 534 |  |
| f_switch_2 | false | 548 | 548 | f_switch_2 [test.c:124:6:124:15] |
| f_switch_2 | false | 557 | 557 | case ...: [test.c:126:9:126:15] |
| f_switch_2 | false | 564 | 564 | case ...: [test.c:128:9:128:15] |
| f_switch_2 | false | 571 | 571 | case ...: [test.c:130:9:130:15] |
| f_switch_2 | false | 576 | 576 | case ...: [test.c:131:9:131:15] |
| f_switch_2 | false | 583 | 583 | case ...: [test.c:133:9:133:15] |
| f_switch_2 | false | 591 | 591 | return ... [test.c:136:5:136:11] |
| f_switch_2 | false | 593 | 593 | { ... } [test.c:124:24:137:1] |
| f_switch_2 | true | 557 | 548 |  |
| f_switch_2 | true | 564 | 548 |  |
| f_switch_2 | true | 571 | 576 |  |
| f_switch_2 | true | 576 | 583 |  |
| f_switch_2 | true | 583 | 548 |  |
| f_switch_2 | true | 591 | 548 |  |
| f_switch_2 | true | 593 | 557 |  |
| f_switch_2 | true | 593 | 564 |  |
| f_switch_2 | true | 593 | 571 |  |
| f_switch_2 | true | 593 | 576 |  |
| f_switch_2 | true | 593 | 583 |  |
| f_switch_2 | true | 593 | 591 |  |
| f_switch_3 | false | 596 | 596 | f_switch_3 [test.c:139:6:139:15] |
| f_switch_3 | false | 605 | 605 | case ...: [test.c:141:9:141:15] |
| f_switch_3 | false | 612 | 612 | case ...: [test.c:143:9:143:15] |
| f_switch_3 | false | 619 | 619 | case ...: [test.c:145:9:145:15] |
| f_switch_3 | false | 624 | 624 | case ...: [test.c:146:9:146:15] |
| f_switch_3 | false | 631 | 631 | case ...: [test.c:148:9:148:15] |
| f_switch_3 | false | 635 | 635 | default:  [test.c:150:9:150:16] |
| f_switch_3 | false | 643 | 643 | return ... [test.c:153:5:153:11] |
| f_switch_3 | false | 645 | 645 | { ... } [test.c:139:23:154:1] |
| f_switch_3 | true | 605 | 596 |  |
| f_switch_3 | true | 612 | 596 |  |
| f_switch_3 | true | 619 | 624 |  |
| f_switch_3 | true | 624 | 631 |  |
| f_switch_3 | true | 631 | 596 |  |
| f_switch_3 | true | 635 | 596 |  |
| f_switch_3 | true | 643 | 596 |  |
| f_switch_3 | true | 645 | 612 |  |
| f_switch_4 | false | 648 | 648 | f_switch_4 [test.c:156:6:156:15] |
| f_switch_4 | false | 657 | 657 | case ...: [test.c:158:9:158:15] |
| f_switch_4 | false | 664 | 664 | case ...: [test.c:160:9:160:15] |
| f_switch_4 | false | 671 | 671 | case ...: [test.c:162:9:162:15] |
| f_switch_4 | false | 676 | 676 | case ...: [test.c:163:9:163:15] |
| f_switch_4 | false | 683 | 683 | case ...: [test.c:165:9:165:15] |
| f_switch_4 | false | 691 | 691 | return ... [test.c:168:5:168:11] |
| f_switch_4 | false | 693 | 693 | { ... } [test.c:156:23:169:1] |
| f_switch_4 | true | 657 | 648 |  |
| f_switch_4 | true | 664 | 648 |  |
| f_switch_4 | true | 671 | 676 |  |
| f_switch_4 | true | 676 | 683 |  |
| f_switch_4 | true | 683 | 648 |  |
| f_switch_4 | true | 691 | 648 |  |
| f_switch_4 | true | 693 | 664 |  |
| f_switch_4 | true | 693 | 691 |  |
| f_switch_5 | false | 696 | 696 | f_switch_5 [test.c:171:6:171:15] |
| f_switch_5 | false | 705 | 705 | case ...: [test.c:173:9:173:15] |
| f_switch_5 | false | 712 | 712 | case ...: [test.c:175:9:175:15] |
| f_switch_5 | false | 719 | 719 | case ...: [test.c:177:9:177:15] |
| f_switch_5 | false | 724 | 724 | case ...: [test.c:178:9:178:15] |
| f_switch_5 | false | 731 | 731 | case ...: [test.c:180:9:180:15] |
| f_switch_5 | false | 735 | 735 | default:  [test.c:182:9:182:16] |
| f_switch_5 | false | 743 | 743 | return ... [test.c:185:5:185:11] |
| f_switch_5 | false | 745 | 745 | { ... } [test.c:171:23:186:1] |
| f_switch_5 | true | 705 | 696 |  |
| f_switch_5 | true | 712 | 696 |  |
| f_switch_5 | true | 719 | 724 |  |
| f_switch_5 | true | 724 | 731 |  |
| f_switch_5 | true | 731 | 696 |  |
| f_switch_5 | true | 735 | 696 |  |
| f_switch_5 | true | 743 | 696 |  |
| f_switch_5 | true | 745 | 735 |  |
| f_switch_6 | false | 748 | 748 | f_switch_6 [test.c:188:6:188:15] |
| f_switch_6 | false | 757 | 757 | case ...: [test.c:190:9:190:15] |
| f_switch_6 | false | 764 | 764 | case ...: [test.c:192:9:192:15] |
| f_switch_6 | false | 771 | 771 | case ...: [test.c:194:9:194:15] |
| f_switch_6 | false | 776 | 776 | case ...: [test.c:195:9:195:15] |
| f_switch_6 | false | 783 | 783 | case ...: [test.c:197:9:197:15] |
| f_switch_6 | false | 791 | 791 | return ... [test.c:200:5:200:11] |
| f_switch_6 | false | 793 | 793 | { ... } [test.c:188:23:201:1] |
| f_switch_6 | true | 757 | 748 |  |
| f_switch_6 | true | 764 | 748 |  |
| f_switch_6 | true | 771 | 776 |  |
| f_switch_6 | true | 776 | 783 |  |
| f_switch_6 | true | 783 | 748 |  |
| f_switch_6 | true | 791 | 748 |  |
| f_switch_6 | true | 793 | 791 |  |
| f_switch_7 | false | 797 | 797 | f_switch_7 [test.c:203:6:203:15] |
| f_switch_7 | false | 805 | 805 | 1 [test.c:204:16:204:16] |
| f_switch_7 | false | 808 | 808 | 3 [test.c:204:20:204:20] |
| f_switch_7 | false | 814 | 814 | case ...: [test.c:205:9:205:15] |
| f_switch_7 | false | 821 | 821 | case ...: [test.c:207:9:207:15] |
| f_switch_7 | false | 828 | 828 | case ...: [test.c:209:9:209:15] |
| f_switch_7 | false | 833 | 833 | case ...: [test.c:210:9:210:15] |
| f_switch_7 | false | 840 | 840 | case ...: [test.c:212:9:212:15] |
| f_switch_7 | false | 844 | 844 | { ... } [test.c:204:23:214:5] |
| f_switch_7 | false | 848 | 848 | return ... [test.c:215:5:215:11] |
| f_switch_7 | false | 850 | 850 | { ... } [test.c:203:24:216:1] |
| f_switch_7 | true | 805 | 844 |  |
| f_switch_7 | true | 808 | 844 |  |
| f_switch_7 | true | 814 | 797 |  |
| f_switch_7 | true | 821 | 797 |  |
| f_switch_7 | true | 828 | 833 |  |
| f_switch_7 | true | 833 | 840 |  |
| f_switch_7 | true | 840 | 797 |  |
| f_switch_7 | true | 844 | 821 |  |
| f_switch_7 | true | 844 | 833 |  |
| f_switch_7 | true | 844 | 848 |  |
| f_switch_7 | true | 848 | 797 |  |
| f_switch_7 | true | 850 | 805 | T |
| f_switch_7 | true | 850 | 808 | F |
| f_while_1 | false | 304 | 304 | i [test.c:51:11:51:11] |
| f_while_1 | false | 312 | 312 | { ... } [test.c:51:14:53:5] |
| f_while_1 | false | 316 | 316 | return ... [test.c:54:5:54:11] |
| f_while_1 | false | 318 | 318 | { ... } [test.c:50:23:55:1] |
| f_while_1 | true | 304 | 312 | T |
| f_while_1 | true | 304 | 316 | F |
| f_while_1 | true | 312 | 304 |  |
| f_while_1 | true | 318 | 304 |  |
| f_while_2 | false | 326 | 326 | 1 [test.c:58:11:58:11] |
| f_while_2 | false | 329 | 329 | { ... } [test.c:58:14:60:5] |
| f_while_2 | false | 333 | 333 | return ... [test.c:61:5:61:11] |
| f_while_2 | false | 335 | 335 | { ... } [test.c:57:22:62:1] |
| f_while_2 | true | 326 | 329 | T |
| f_while_2 | true | 329 | 326 |  |
| f_while_2 | true | 335 | 326 |  |
| f_while_3 | false | 343 | 343 | 0 [test.c:65:11:65:11] |
| f_while_3 | false | 346 | 346 | { ... } [test.c:65:14:67:5] |
| f_while_3 | false | 350 | 350 | return ... [test.c:68:5:68:11] |
| f_while_3 | false | 352 | 352 | { ... } [test.c:64:22:69:1] |
| f_while_3 | true | 343 | 350 | F |
| f_while_3 | true | 346 | 343 |  |
| f_while_3 | true | 352 | 343 |  |