[Bug sanitizer/59306] ICE with -fsanitize=null: gimple check: expected gimple_call(error_mark), have gimple_assign(addr_expr) in gimple_call_arg

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59306

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Wed Nov 27 11:40:22 2013
New Revision: 205443

URL: http://gcc.gnu.org/viewcvs?rev=205443&root=gcc&view=rev
Log:
    PR sanitizer/59306
    * ubsan.c (instrument_null): Use gimple_store_p/gimple_assign_load_p
    instead of walk_gimple_op.
    (ubsan_pass): Adjust.  Call instrument_null only if SANITIZE_NULL.
testsuite/
    * g++.dg/ubsan/pr59306.C: New test.

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