https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96660
Bug ID: 96660 Summary: [11 regression] ICE and many failures in gcc.dg/analyzer/data-model-1.c after r11-2708 Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: seurer at gcc dot gnu.org Target Milestone: --- g:2867118ddda9b56d991c16022f7d3d634ed08313, r11-2708 spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c -fdiagnostics-plain-output -fanalyzer -fdiagnostics-path-format=separate-events -Wanalyzer-too-complex -fanalyzer-call-summaries -S -o data-model-1.s /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_1': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:20:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_2': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:27:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:29:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_3': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:36:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:38:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_3a': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:47:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:49:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_4': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:60:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_5': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:69:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_5a': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:78:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_6': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:86:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:88:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_7': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:95:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:97:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_10': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:106:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:108:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_11': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:119:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:120:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:121:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:122:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:123:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:124:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:126:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:127:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:128:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:129:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:130:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:131:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_12': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:147:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_12b': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:161:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_12d': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:184:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:185:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:186:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_13': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:205:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:207:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_14': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:212:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:214:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_15': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:220:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:221:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:224:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:225:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:232:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:234:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:236:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:238:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:241:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16a': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:266:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16b': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:271:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16c': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:283:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:286:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16c_a': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:295:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16d': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:303:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:306:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_16e': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:316:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:319:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_17': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:325:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:327:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:329:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_18': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:335:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:339:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:340:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:341:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:343:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:344:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:345:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_19': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:352:5: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_20': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:357:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:358:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:360:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:361:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:363:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:364:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:366:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:367:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:369:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:370:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:372:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:373:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:375:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:376:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:378:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:379:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:381:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:382:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:384:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:385:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:387:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:388:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:389:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:391:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:393:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:394:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:396:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:397:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:398:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_21': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:416:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:417:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:418:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:419:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:420:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:424:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:425:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:427:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:428:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:429:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:430:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:431:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:432:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:433:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:434:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:435:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:436:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:437:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:438:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:439:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:441:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:442:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:443:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:445:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:446:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:447:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_22': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:452:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_23': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:462:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:463:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_24': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:470:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:475:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_25': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:483:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:484:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:490:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_26': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:497:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:498:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:499:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:500:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:506:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:507:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:511:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:512:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_27': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:519:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:520:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_28': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:526:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:529:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:533:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:536:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:540:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:541:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_29': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:557:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:558:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:560:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:561:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:563:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:564:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:566:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:567:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:571:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:572:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:574:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:575:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:579:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:580:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:582:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:583:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:587:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:588:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_29a': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:604:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:605:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:607:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:608:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:610:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:611:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:613:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:614:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:618:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:619:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:621:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:622:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:626:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:627:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:629:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:630:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:633:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:636:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:637:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_29b': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:654:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:655:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:657:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:658:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:660:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:661:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:663:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:664:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:668:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:669:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:671:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:672:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:676:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:677:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:679:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:680:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:683:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:685:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:686:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_29c': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:703:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:704:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:706:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:707:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:709:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:710:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:712:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:713:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:717:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:718:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:720:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:721:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:725:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:726:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:728:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:729:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:732:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:734:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:735:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_30': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:745:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:746:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_32': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:766:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:770:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:771:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_33': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:778:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:782:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_35': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:801:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:802:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_36': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:813:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_40': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:874:5: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:876:5: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'foo': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:896:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_41': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:909:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:910:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:914:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:915:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_42': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:924:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_43': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:933:3: warning: TRUE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_44': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:948:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:953:3: warning: FALSE /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_45': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:972:3: warning: UNKNOWN /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:977:3: warning: UNKNOWN during IPA pass: analyzer /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c: In function 'test_49': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:1011:12: internal compiler error: in apply_ctor_to_region, at analyzer/store.cc:418 0x1106c147 ana::binding_map::apply_ctor_to_region(ana::region const*, tree_node*, ana::region_model_manager*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/store.cc:418 0x1102597b ana::decl_region::maybe_get_constant_value(ana::region_model_manager*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/region.cc:896 0x1102a6d3 ana::region_model::get_store_value(ana::region const*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:1197 0x1102f02f ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:1173 0x1102f90b ana::region_model::on_assignment(gassign const*, ana::region_model_context*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:547 0x110066df ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:1029 0x1100787b ana::exploded_graph::process_node(ana::exploded_node*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:2526 0x1100838b ana::exploded_graph::process_worklist() /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:2341 0x1100accb ana::impl_run_checkers(ana::logger*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:4107 0x1100c157 ana::run_checkers() /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:4175 0x10ffc81f execute /home/seurer/gcc/git/gcc-test/gcc/analyzer/analyzer-pass.cc:84 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. compiler exited with status 1 FAIL: gcc.dg/analyzer/data-model-1.c (internal compiler error) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 20) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 27) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 29) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 36) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 38) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 47) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 49) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 60) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 69) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 78) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 86) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 88) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 95) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 97) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 106) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 108) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 119) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 120) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 121) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 122) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 123) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 124) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 126) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 127) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 128) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 129) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 130) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 131) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 147) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 161) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 184) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 185) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 186) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 205) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 207) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 212) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 214) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 220) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 221) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 224) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 225) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 232) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 234) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 236) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 238) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 241) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 255) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 257) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 259) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 261) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 266) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 271) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 271) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 283) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 286) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 295) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 303) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 306) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 316) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 319) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 325) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 327) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 329) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 335) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 339) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 340) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 341) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 343) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 344) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 345) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 352) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 357) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 358) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 360) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 361) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 363) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 364) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 366) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 367) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 369) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 370) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 372) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 373) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 375) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 376) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 378) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 379) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 381) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 382) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 384) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 385) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 387) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 388) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 389) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 391) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 393) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 394) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 396) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 397) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 398) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 416) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 417) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 418) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 419) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 420) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 424) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 425) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 427) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 428) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 429) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 430) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 431) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 432) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 433) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 434) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 435) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 436) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 437) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 438) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 439) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 441) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 442) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 443) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 445) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 446) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 447) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 452) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 462) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 463) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 470) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 475) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 483) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 484) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 490) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 497) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 498) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 499) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 500) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 506) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 507) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 507) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 511) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 512) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 512) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 519) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 520) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 526) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 526) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 529) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 529) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 533) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 533) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 536) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 536) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 540) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 541) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 557) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 558) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 560) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 561) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 563) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 564) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 566) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 567) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 571) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 572) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 574) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 575) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 579) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 580) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 582) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 583) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 587) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 588) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 604) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 605) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 607) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 608) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 610) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 611) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 613) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 614) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 618) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 619) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 621) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 622) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 626) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 627) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 629) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 630) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 633) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 636) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 637) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 654) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 655) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 657) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 658) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 660) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 661) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 663) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 664) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 668) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 669) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 671) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 672) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 676) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 677) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 679) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 680) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 683) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 685) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 686) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 703) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 704) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 706) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 707) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 709) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 710) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 712) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 713) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 717) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 718) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 720) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 721) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 725) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 726) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 728) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 729) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 732) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 734) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 735) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 745) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 746) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 766) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 770) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 771) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 778) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 782) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 788) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 796) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 801) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 802) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 813) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 817) XFAIL: gcc.dg/analyzer/data-model-1.c uninit-warning-removed (test for warnings, line 825) XFAIL: gcc.dg/analyzer/data-model-1.c uninit-warning-removed (test for warnings, line 833) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 843) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 851) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 871) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 874) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 876) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 896) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 909) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 910) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 914) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 915) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 924) PASS: gcc.dg/analyzer/data-model-1.c (test for warnings, line 933) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 948) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 948) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 953) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 953) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 972) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 972) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 977) PASS: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 977) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1017) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1018) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1019) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1020) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1021) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1024) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1027) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1029) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1036) FAIL: gcc.dg/analyzer/data-model-1.c (test for warnings, line 1037) XFAIL: gcc.dg/analyzer/data-model-1.c desired (test for warnings, line 1049) FAIL: gcc.dg/analyzer/data-model-1.c status quo (test for warnings, line 1049) Executing on host: /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled48499.cc -fdiagnostics-plain-output -S -o exceptions_enabled48499.s (timeout = 300) spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled48499.cc -fdiagnostics-plain-output -S -o exceptions_enabled48499.s FAIL: gcc.dg/analyzer/data-model-1.c (test for excess errors) Excess errors: during IPA pass: analyzer /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/data-model-1.c:1011:12: internal compiler error: in apply_ctor_to_region, at analyzer/store.cc:418 0x1106c147 ana::binding_map::apply_ctor_to_region(ana::region const*, tree_node*, ana::region_model_manager*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/store.cc:418 0x1102597b ana::decl_region::maybe_get_constant_value(ana::region_model_manager*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/region.cc:896 0x1102a6d3 ana::region_model::get_store_value(ana::region const*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:1197 0x1102f02f ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:1173 0x1102f90b ana::region_model::on_assignment(gassign const*, ana::region_model_context*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/region-model.cc:547 0x110066df ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*) const /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:1029 0x1100787b ana::exploded_graph::process_node(ana::exploded_node*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:2526 0x1100838b ana::exploded_graph::process_worklist() /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:2341 0x1100accb ana::impl_run_checkers(ana::logger*) /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:4107 0x1100c157 ana::run_checkers() /home/seurer/gcc/git/gcc-test/gcc/analyzer/engine.cc:4175 0x10ffc81f execute /home/seurer/gcc/git/gcc-test/gcc/analyzer/analyzer-pass.cc:84 testcase /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/analyzer.exp completed in 1 seconds === gcc Summary === # of expected passes 243 # of unexpected failures 23 # of expected failures 14