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
