[Bug sanitizer/65004] New: Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[Bug sanitizer/65004] New: Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[burnus at gcc dot gnu.org]

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

            Bug ID: 65004
           Summary: Compare debug failure with -fno-sanitize-recover
                    -fsanitize=address -fsanitize=undefined
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
                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 34714
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34714&action=edit
test.ii (compile with: g++ -fcompare-debug -O1 -fsanitize=address
-fno-sanitize-recover -fsanitize=undefined)

The attached program fails with
  g++: error: test.ii: -fcompare-debug failure
when compiled with g++ -fcompare-debug -O1 -fsanitize=address
-fno-sanitize-recover -fsanitize=undefined test.ii

[Bug sanitizer/65004] Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-02-10
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

[Bug sanitizer/65004] Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

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

Untested fix.

[Bug sanitizer/65004] Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Feb 10 22:00:11 2015
New Revision: 220596

URL: https://gcc.gnu.org/viewcvs?rev=220596&root=gcc&view=rev
Log:
    PR sanitizer/65004
    * ubsan.c (ubsan_expand_vptr_ifn): Always return true.

    * g++.dg/asan/pr65004.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/asan/pr65004.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/ubsan.c

[Bug sanitizer/65004] [5 Regression] Compare debug failure with -fno-sanitize-recover -fsanitize=address -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
            Summary|Compare debug failure with  |[5 Regression] Compare
                   |-fno-sanitize-recover       |debug failure with
                   |-fsanitize=address          |-fno-sanitize-recover
                   |-fsanitize=undefined        |-fsanitize=address
                   |                            |-fsanitize=undefined

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