[Bug target/82002] New: [8 Regression] ICE in sp_valid_at, at config/i386/i386.c:13233

[marxin at gcc dot gnu.org]

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

            Bug ID: 82002
           Summary: [8 Regression] ICE in sp_valid_at, at
                    config/i386/i386.c:13233
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: daniel.santos at pobox dot com
  Target Milestone: ---

Starting from r251321 we ICE on:

$ cat stack-check.ii
void a (char *);
void
b ()
{
  char c[10000000000];
  c[1099511627776] = 'b';
  a (c);
  a (c);
}

$ g++ stack-check.ii -Ofast -mstackrealign -mabi=ms 
during RTL pass: pro_and_epilogue
stack-check.ii: In function ‘void b()’:
stack-check.ii:9:1: internal compiler error: in sp_valid_at, at
config/i386/i386.c:13227
 }
 ^
0x10d355b sp_valid_at
        .././../gcc/config/i386/i386.c:13227
0x110227d ix86_expand_epilogue(int)
        .././../gcc/config/i386/i386.c:15456
0x1321f0f gen_epilogue()
        .././../gcc/config/i386/i386.md:12698
0x10e20b8 target_gen_epilogue
        .././../gcc/config/i386/i386.md:12209
0xac7788 make_epilogue_seq
        .././../gcc/function.c:5866
0xac789c thread_prologue_and_epilogue_insns()
        .././../gcc/function.c:5948
0xac7fe2 rest_of_handle_thread_prologue_and_epilogue
        .././../gcc/function.c:6438
0xac7fe2 execute
        .././../gcc/function.c:6480