lebedev.F fails with: scratch/vondele/clean/cp2k/src/../src/lebedev.F: In function ‘load_sub_grid’: /scratch/vondele/clean/cp2k/src/../src/lebedev.F:156: error: definition in block 18 does not dominate use in block 16 for SSA_NAME: PARM_NOALIAS.233_1989 in statement: # VUSE <PARM_NOALIAS.233_1989> pretmp.462_1908 = *lgnum_39(D); /scratch/vondele/clean/cp2k/src/../src/lebedev.F:156: internal compiler error: verify_ssa failed which traces to #0 internal_error (gmsgid=0xc4eeb3 "verify_ssa failed") at /scratch/vondele/gcc/graphite/gcc/diagnostic.c:652 #1 0x0000000000821ede in verify_ssa (check_modified_stmt=0 '\0') at /scratch/vondele/gcc/graphite/gcc/tree-ssa.c:894 #2 0x0000000000aeb66e in gloog (scop=0x1352340, stmt=0x13bb9f0) at /scratch/vondele/gcc/graphite/gcc/graphite.c:1844 #3 0x0000000000aede56 in graphite_transform_loops () at /scratch/vondele/gcc/graphite/gcc/graphite.c:5382 #4 0x00000000007df337 in graphite_transforms () at /scratch/vondele/gcc/graphite/gcc/tree-ssa-loop.c:298 #5 0x000000000066cb55 in execute_one_pass (pass=0x10827e0) at /scratch/vondele/gcc/graphite/gcc/passes.c:1279 #6 0x000000000066cd41 in execute_pass_list (pass=0x10827e0) at /scratch/vondele/gcc/graphite/gcc/passes.c:1328 #7 0x000000000066cd55 in execute_pass_list (pass=0x1082540) at /scratch/vondele/gcc/graphite/gcc/passes.c:1329 #8 0x000000000066cd55 in execute_pass_list (pass=0x1081a00) at /scratch/vondele/gcc/graphite/gcc/passes.c:1329 #9 0x000000000075dafc in tree_rest_of_compilation (fndecl=0x2b928a0ef400) at /scratch/vondele/gcc/graphite/gcc/tree-optimize.c:418 #10 0x00000000008d7ac0 in cgraph_expand_function (node=0x2b928a19da00) at /scratch/vondele/gcc/graphite/gcc/cgraphunit.c:1038 #11 0x00000000008d967d in cgraph_optimize () at /scratch/vondele/gcc/graphite/gcc/cgraphunit.c:1097 #12 0x0000000000485ffa in gfc_be_parse_file (set_yydebug=<value optimized ou will see if I can reduce this...
Created attachment 16864 [details] testcase reduced
fixed with the current graphite branch.