[Bug sanitizer/86962] [9 Regression] ICE in sanitize_rewrite_addressable_params, at sanopt.c:1173 with nested functions

2018-08-27 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86962

--- Comment #2 from Martin Liška  ---
Author: marxin
Date: Mon Aug 27 13:21:28 2018
New Revision: 263882

URL: https://gcc.gnu.org/viewcvs?rev=263882=gcc=rev
Log:
Sanopt: ignore params with DECL_HAS_VALUE_EXPR_P (PR sanitizer/86962).

2018-08-27  Martin Liska  

PR sanitizer/86962
* sanopt.c (sanitize_rewrite_addressable_params): Ignore
params with DECL_HAS_VALUE_EXPR_P.
2018-08-27  Martin Liska  

PR sanitizer/86962
* gcc.dg/asan/pr86962.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/asan/pr86962.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/sanopt.c
trunk/gcc/testsuite/ChangeLog

[Bug sanitizer/86962] [9 Regression] ICE in sanitize_rewrite_addressable_params, at sanopt.c:1173 with nested functions

2018-08-15 Thread ebotcazou at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86962

--- Comment #1 from Eric Botcazou  ---
> Issues is that there's a param with DECL_HAS_VALUE_EXPR_P which is
> addressable. We can probably skip these, but I'm curious Eric how that
> changed in your commit?

It's a new object, i.e. a PARM_DECL with DECL_HAS_VALUE_EXPR_P.  Before we
would create a VAR_DECL and leave the PARM_DECL orphaned.

[Bug sanitizer/86962] [9 Regression] ICE in sanitize_rewrite_addressable_params, at sanopt.c:1173 with nested functions

2018-08-15 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86962

Martin Liška  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |marxin at gcc dot 
gnu.org

[Bug sanitizer/86962] [9 Regression] ICE in sanitize_rewrite_addressable_params, at sanopt.c:1173 with nested functions

2018-08-15 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86962

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-08-15
  Known to work||8.2.0
   Target Milestone|--- |9.0
 Ever confirmed|0   |1
  Known to fail||9.0