[Bug sanitizer/65019] New: Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[Bug sanitizer/65019] New: Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[burnus at gcc dot gnu.org]

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

            Bug ID: 65019
           Summary: Compare debug failure with
                    -fsanitize=alignment,object-size,vptr -O3
           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 34726
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34726&action=edit
input.ii (compile with: g++ -fcompare-debug -O2
-fsanitize=alignment,object-size,vptr -std=c++11)

I found another one:

g++ input.ii -fcompare-debug -O2 -fsanitize=alignment,object-size,vptr
-std=c++11

gives:

g++: error: input.ii: -fcompare-debug failure

[Bug sanitizer/65019] Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Note that the "final" is required - if one leaves it out, it succeeds.

[Bug sanitizer/65019] Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[jakub at gcc dot gnu.org]

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

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

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

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

Untested fix.

[Bug sanitizer/65019] [5 Regression] Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0
            Summary|Compare debug failure with  |[5 Regression] Compare
                   |-fsanitize=alignment,object |debug failure with
                   |-size,vptr -O3              |-fsanitize=alignment,object
                   |                            |-size,vptr -O3

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is a regression, as it fails also with -fsanitize=undefined which is
already supported in 4.9.

[Bug sanitizer/65019] [5 Regression] Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Feb 12 09:48:44 2015
New Revision: 220641

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

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

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

[Bug sanitizer/65019] [5 Regression] Compare debug failure with -fsanitize=alignment,object-size,vptr -O3

[jakub at gcc dot gnu.org]

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

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.