[Bug sanitizer/56330] New: [4.8 Regression] ICE: verify_gimple failed: gimple_bb (stmt) is set to a wrong basic block with -fsanitize=address

[zsojka at seznam dot cz]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56330



             Bug #: 56330

           Summary: [4.8 Regression] ICE: verify_gimple failed: gimple_bb

                    (stmt) is set to a wrong basic block with

                    -fsanitize=address

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: sanitizer

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: zso...@seznam.cz

                CC: do...@gcc.gnu.org, dvyu...@gcc.gnu.org,

                    ja...@gcc.gnu.org, k...@gcc.gnu.org





Created attachment 29456

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29456

autoreduced testcase



I am not sure if this should be marked as a regression - the code doesn't

compile in 4.7, but used to older revisions of 4.8.



Compiler output:

$ gcc -fsanitize=address testcase.c         

testcase.c: In function 'foo':

testcase.c:10:1: error: gimple_bb (stmt) is set to a wrong basic block

 foo (void)

 ^

__builtin_memcmp (&s.a, &empty, 200);



testcase.c:10:1: error: gimple_bb (stmt) is set to a wrong basic block

return;



testcase.c:10:1: internal compiler error: verify_gimple failed

0xa528bc verify_gimple_in_cfg(function*)

        /mnt/svn/gcc-trunk/gcc/tree-cfg.c:4727

0x93f177 execute_function_todo

        /mnt/svn/gcc-trunk/gcc/passes.c:1970

0x93fa97 execute_todo

        /mnt/svn/gcc-trunk/gcc/passes.c:1999

Please submit a full bug report,

with preprocessed source if appropriate.

Please include the complete backtrace with any bug report.

See <http://gcc.gnu.org/bugs.html> for instructions.



Tested revisions:

r196044 - crash

r195931 - OK