https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #10 from GCC Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:6586359e8e4c611dd96129b5d4f24023949ac3fc
commit r14-9445-g6586359e8e4c611dd96129b5d4f24023949ac3fc
Author: Jakub Jelinek
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #9 from GCC Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:364c684c474841e3c9c04e025a5c1bca49705c86
commit r14-9444-g364c684c474841e3c9c04e025a5c1bca49705c86
Author: Jakub Jelinek
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
Jakub Jelinek changed:
What|Removed |Added
Priority|P1 |P2
--- Comment #8 from Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #7 from GCC Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:ad860cc27b3312f9119c7fecb8638a7c1f6d77c9
commit r14-9438-gad860cc27b3312f9119c7fecb8638a7c1f6d77c9
Author: Jakub Jelinek
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #6 from Jakub Jelinek ---
struct S { char c[1024]; };
int foo (int);
__attribute__((returns_twice, noipa)) struct S
bar (int x)
{
(void) x;
struct S s = {};
s.c[42] = 42;
return s;
}
void
baz (struct S *p)
{
foo (1);
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #5 from Jakub Jelinek ---
Adjusted testcase which shows more cases, like multiple edges into the
returns_twice bb in addition to the edge from .ABNORMAL_DISPATCHER.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #4 from Jakub Jelinek ---
Thinking about it, I'd say this should be instrumented differently between asan
and ubsan. ubsan, which ought to just check whether the pointer is non-NULL
and properly aligned, should instrument it in the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
Jeffrey A. Law changed:
What|Removed |Added
CC||law at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #3 from Jakub Jelinek ---
The .ASAN_CHECK call before the returns_twice fn call was added in
r6-6758-g7db337c247a6f34708b502016d58c2ef9991b2a8
and with .UBSAN_NULL call before it with -fsanitize=undefined since
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
--- Comment #2 from Jakub Jelinek ---
This isn't specific to asan, -fsanitize=undefined ICEs on it the same.
In both cases, we want to add instrumentation for the store of the call lhs.
So, either we move the instrumentation on the non-abnormal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112709
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Summary|address
11 matches
Mail list logo
