[Bug target/65183] New: ICE: verify_ssa failed: virtual use of statement not up-to-date with -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx

[Bug target/65183] New: ICE: verify_ssa failed: virtual use of statement not up-to-date with -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx

[zsojka at seznam dot cz]

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

            Bug ID: 65183
           Summary: ICE: verify_ssa failed: virtual use of statement not
                    up-to-date with -fcheck-pointer-bounds
                    -fchkp-use-nochk-string-functions -mmpx
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

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

Compiler output:
$ gcc -O -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx
testcase.c
testcase.c: In function 'foo.chkp':
testcase.c:12:6: error: virtual use of statement not up-to-date
 void foo ()
      ^
# VUSE <.MEM>
_17 = __chkp_zero_bounds;
testcase.c:12:6: internal compiler error: verify_ssa failed
0xe23b21 verify_ssa(bool, bool)
        /mnt/svn/gcc-trunk/gcc/tree-ssa.c:1068
0xb4f605 execute_function_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:1964
0xb4fd8b execute_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:2014
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:
r220888 - fail

[Bug target/65183] ICE: verify_ssa failed: virtual use of statement not up-to-date with -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx

[ienkovich at gcc dot gnu.org]

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

--- Comment #1 from ienkovich at gcc dot gnu.org ---
Author: ienkovich
Date: Mon Mar  2 10:41:09 2015
New Revision: 221105

URL: https://gcc.gnu.org/viewcvs?rev=221105&root=gcc&view=rev
Log:
gcc/

    PR target/65183
    * tree-chkp.c (chkp_check_lower): Don't check against
    zero bounds for already instrumented functions.
    (chkp_check_upper): Likewise.
    (chkp_fini): Clean pass local data to avoid wrong reusage.

gcc/testsuite/

    PR target/65183
    * gcc.target/i386/pr65183.c: New.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr65183.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chkp.c

[Bug target/65183] ICE: verify_ssa failed: virtual use of statement not up-to-date with -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx

[ienkovich at gcc dot gnu.org]

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

Ilya Enkovich <ienkovich at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |ienkovich at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #2 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Fixed