On 11/29/2016 03:44 AM, Martin Liška wrote:
Currently we an assert that prevents proper use-after-scope sanitization
in nested functions. With the attached patch, we are able to do so.
I'm adding 2 test-cases, first one is the ICE reported in PR and the second
one tests proper report of use-after-scope passed by FRAME belonging to a
nested function call.

Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.

Ready to be installed?
Martin


0001-Support-nested-functions-PR-sanitize-78541.patch


From 8e02ebdf64a82f0dfc7be531a38702497dece26b Mon Sep 17 00:00:00 2001
From: marxin <mli...@suse.cz>
Date: Mon, 28 Nov 2016 13:05:33 +0100
Subject: [PATCH] Support nested functions (PR sanitize/78541).

gcc/testsuite/ChangeLog:

2016-11-28  Martin Liska  <mli...@suse.cz>

        PR sanitize/78541
        * gcc.dg/asan/pr78541-2.c: New test.
        * gcc.dg/asan/pr78541.c: New test.

gcc/ChangeLog:

2016-11-28  Martin Liska  <mli...@suse.cz>

        PR sanitize/78541
        * asan.c (asan_expand_mark_ifn): Properly
        select a VAR_DECL from FRAME.* component reference.
OK.
jeff

Reply via email to