https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84638

            Bug ID: 84638
           Summary: internal compiler error: verify_gimple failed (error:
                    invalid rhs for gimple memory store)
           Product: gcc
           Version: 8.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vegard.nossum at gmail dot com
  Target Milestone: ---

Input:

a(volatile int b) { &b; }

Output:

$ xgcc -x c++ -S -fpermissive -fsanitize=address -
<stdin>:1:17: warning: ISO C++ forbids declaration of 'a' with no type
[-fpermissive]
<stdin>: In function 'int a(int)':
<stdin>:1:25: warning: no return statement in function returning non-void
[-Wreturn-type]
<stdin>:1:1: error: invalid rhs for gimple memory store
b

b

# .MEM_2 = VDEF <.MEM_1(D)>
b ={v} b;
during GIMPLE pass: sanopt
<stdin>:1:1: internal compiler error: verify_gimple failed
0x32e110f verify_gimple_in_cfg(function*, bool)
        /home/vegard/git/gcc/gcc/tree-cfg.c:5579
0x2b65957 execute_function_todo
        /home/vegard/git/gcc/gcc/passes.c:1994
0x2b6e626 do_per_function
        /home/vegard/git/gcc/gcc/passes.c:1659
0x2b6e626 execute_todo
        /home/vegard/git/gcc/gcc/passes.c:2048

$ xgcc --version
xgcc (GCC) 8.0.1 20180228 (experimental)

Built from git fd1990b25777e5f1307eac1447e8fb5fefe747b4 (r258063).

7.3.0 looks fine to me.

Test case was reduced by C-Reduce.

Reply via email to