[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #18 from Martin Liška  ---
Fixed.

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

--- Comment #17 from Martin Liška  ---
Author: marxin
Date: Tue Nov 21 16:01:43 2017
New Revision: 255011

URL: https://gcc.gnu.org/viewcvs?rev=255011=gcc=rev
Log:
Backport r254519

2017-11-21  Martin Liska  

Backport from mainline
2017-11-08  Martin Liska  

PR sanitizer/82792
* gimplify.c (expand_FALLTHROUGH_r): Skip IFN_ASAN_MARK.
2017-11-21  Martin Liska  

Backport from mainline
2017-11-08  Martin Liska  

PR sanitizer/82792
* g++.dg/asan/pr82792.C: New test.

Added:
branches/gcc-7-branch/gcc/testsuite/g++.dg/asan/pr82792.C
Modified:
branches/gcc-7-branch/gcc/ChangeLog
branches/gcc-7-branch/gcc/gimplify.c
branches/gcc-7-branch/gcc/testsuite/ChangeLog

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

  Known to work||8.0
  Known to fail||7.2.0

--- Comment #16 from Martin Liška  ---
Fixed on trunk.

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

--- Comment #15 from Martin Liška  ---
Author: marxin
Date: Wed Nov  8 08:17:30 2017
New Revision: 254519

URL: https://gcc.gnu.org/viewcvs?rev=254519=gcc=rev
Log:
Fix fallthrough attribute ignorance w/ -fsanitize=address (PR sanitizer/82792).

2017-11-08  Martin Liska  

PR sanitizer/82792
* gimplify.c (expand_FALLTHROUGH_r): Skip IFN_ASAN_MARK.
2017-11-08  Martin Liska  

PR sanitizer/82792
* g++.dg/asan/pr82792.C: New test.

Added:
trunk/gcc/testsuite/g++.dg/asan/pr82792.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gimplify.c
trunk/gcc/testsuite/ChangeLog

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

--- Comment #14 from Martin Liška  ---
Patch candidate:
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg00545.html

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

--- Comment #13 from Martin Liška  ---
I've got patch for that, will send to mailing list soon.

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2017-11-06
   Assignee|unassigned at gcc dot gnu.org  |marxin at gcc dot 
gnu.org
 Ever confirmed|0   |1

--- Comment #12 from Martin Liška  ---
Let me take a look.

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[michael.thayer at oracle dot com]

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

Michael Thayer  changed:

   What|Removed |Added

 Status|RESOLVED|UNCONFIRMED
 Resolution|INVALID |---

--- Comment #11 from Michael Thayer  ---
Setting this back to "unconfirmed" as it is still a problem with the attribute
before the label.

[Bug sanitizer/82792] Fallthrough attribute ignored after label, and before with address sanitizer

[michael.thayer at oracle dot com]

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

Michael Thayer  changed:

   What|Removed |Added

 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,
   ||marxin at gcc dot gnu.org
  Component|c   |sanitizer
Summary|Fallthrough attribute   |Fallthrough attribute
   |ignored after label |ignored after label, and
   ||before with address
   ||sanitizer

--- Comment #10 from Michael Thayer  ---
I was only able to work around this by disabling asan on that particular file.