diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2019-01-31 09:20:45 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2019-01-31 09:20:45 +0100 |
| commit | 6206a883fe7a741dbb9e09d88255a170a75950f5 (patch) | |
| tree | f4ecfa951d1abeab8f4816a41a8447acb267d6ed /gcc/ipa-inline.c | |
| parent | f4caead02f75bf6c2d1de2e35498fcf6a32936e2 (diff) | |
| download | gcc-6206a883fe7a741dbb9e09d88255a170a75950f5.zip gcc-6206a883fe7a741dbb9e09d88255a170a75950f5.tar.gz gcc-6206a883fe7a741dbb9e09d88255a170a75950f5.tar.bz2 | |
re PR sanitizer/89124 (__attribute__((no_sanitize_address)) interferes with __attribute__((target(xxx))))
PR sanitizer/89124
* ipa-inline.c (sanitize_attrs_match_for_inline_p): Allow inlining
always_inline callees into no_sanitize_address callers.
* c-c++-common/asan/pr89124.c: New test.
From-SVN: r268415
Diffstat (limited to 'gcc/ipa-inline.c')
| -rw-r--r-- | gcc/ipa-inline.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ipa-inline.c b/gcc/ipa-inline.c index 2c1843a..4ddbfdf 100644 --- a/gcc/ipa-inline.c +++ b/gcc/ipa-inline.c @@ -264,6 +264,12 @@ sanitize_attrs_match_for_inline_p (const_tree caller, const_tree callee) if (!caller || !callee) return true; + /* Allow inlining always_inline functions into no_sanitize_address + functions. */ + if (!sanitize_flags_p (SANITIZE_ADDRESS, caller) + && lookup_attribute ("always_inline", DECL_ATTRIBUTES (callee))) + return true; + return ((sanitize_flags_p (SANITIZE_ADDRESS, caller) == sanitize_flags_p (SANITIZE_ADDRESS, callee)) && (sanitize_flags_p (SANITIZE_POINTER_COMPARE, caller) |