[Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[zsojka at seznam dot cz]

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

            Bug ID: 63913
           Summary: [5 Regression] ICE: verify_gimple failed: statement
                    marked for throw, but doesn't with
                    -fnon-call-exceptions -fsanitize=bool
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org

Created attachment 34002
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34002&action=edit
reduced testcase

Compiler output:
$ gcc -fnon-call-exceptions -fsanitize=bool testcase.C 
testcase.C: In function 'double foo(bool*)':
testcase.C:10:1: error: statement marked for throw, but doesn't
 }
 ^
_3 = (bool) _10;
testcase.C:10:1: internal compiler error: verify_gimple failed
0xe5b748 verify_gimple_in_cfg(function*, bool)
        /mnt/svn/gcc-trunk/gcc/tree-cfg.c:5027
0xd272eb execute_function_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:1868
0xd27d33 execute_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:1925
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:
r217624 - ICE
4_9 r216937 - OK

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-17
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenther at suse dot de

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
It was caused by r209928.

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34014
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34014&action=edit
gcc5-pr63913.patch

Untested fix.  Guess we want it for 4.9 too, even when the verification doesn't
catch that.

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

[Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Nov 28 13:34:13 2014
New Revision: 218151

URL: https://gcc.gnu.org/viewcvs?rev=218151&root=gcc&view=rev
Log:
    Backported from mainline
    2014-11-19  Jakub Jelinek  <jakub@redhat.com>

    PR sanitizer/63913
    * ubsan.c: Include tree-eh.h.
    (instrument_bool_enum_load): Handle loads that can throw.

    * g++.dg/ubsan/pr63913.C: New test.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/g++.dg/ubsan/pr63913.C
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_9-branch/gcc/ubsan.c