[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

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

--- Comment #4 from Martin Liška  ---
Fixed on all active branches.

[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

--- Comment #3 from Martin Liška  ---
Author: marxin
Date: Thu Jun 22 11:41:09 2017
New Revision: 249551

URL: https://gcc.gnu.org/viewcvs?rev=249551=gcc=rev
Log:
Backport r249368

2017-06-22  Martin Liska  

Backport from mainline
2017-06-19  Martin Liska  

PR sanitizer/80879
* gimplify.c (gimplify_switch_expr):
Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST.
2017-06-22  Martin Liska  

Backport from mainline
2017-06-19  Martin Liska  

PR sanitizer/80879
* gcc.dg/asan/use-after-scope-switch-4.c: New test.

Added:
branches/gcc-7-branch/gcc/testsuite/gcc.dg/asan/use-after-scope-switch-4.c
Modified:
branches/gcc-7-branch/gcc/ChangeLog
branches/gcc-7-branch/gcc/gimplify.c
branches/gcc-7-branch/gcc/testsuite/ChangeLog

[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

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

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

[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

--- Comment #1 from Martin Liška  ---
Author: marxin
Date: Mon Jun 19 13:27:48 2017
New Revision: 249368

URL: https://gcc.gnu.org/viewcvs?rev=249368=gcc=rev
Log:
Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST (PR
sanitizer/80879).

2017-06-19  Martin Liska  

PR sanitizer/80879
* gimplify.c (gimplify_switch_expr):
Initialize live_switch_vars for SWITCH_BODY == STATEMENT_LIST.
2017-06-19  Martin Liska  

PR sanitizer/80879
* gcc.dg/asan/use-after-scope-switch-4.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/asan/use-after-scope-switch-4.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gimplify.c
trunk/gcc/testsuite/ChangeLog

[Bug sanitizer/80879] False positive for -fsanitize-address-use-after-scope

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2017-05-25
   Assignee|unassigned at gcc dot gnu.org  |marxin at gcc dot 
gnu.org
 Ever confirmed|0   |1
  Known to fail||7.1.0, 8.0