diff options
author | Etienne Bergeron <etienneb@google.com> | 2017-02-21 20:04:47 +0000 |
---|---|---|
committer | Etienne Bergeron <etienneb@google.com> | 2017-02-21 20:04:47 +0000 |
commit | 796f898b43d4a9573c3880a0ed47ceea6662b274 (patch) | |
tree | 51ba54deb24f3274c0b3636eb67c43f1ebb9bc25 /lib/sanitizer_common/sanitizer_quarantine.h | |
parent | cf1dffa34854a5d1d7f15fe2acf8d65db6dd3843 (diff) | |
download | compiler-rt-796f898b43d4a9573c3880a0ed47ceea6662b274.tar.gz |
[compiler-rt][asan] Fix incorrect macro preventing ICF with MSVC
Summary:
The DLL thunks are stubs added to an instrumented DLL to redirect ASAN API calls
to the real ones in the main executable. These thunks must contain dummy
code before __asan_init got called. Unfortunately, MSVC linker is doing ICF and is
merging functions with the same body.
In our case, this two ASAN thunks were incorrectly merged:
```
asan_interface.inc:16
INTERFACE_FUNCTION(__asan_before_dynamic_init)
```
```
sanitizer_common_interface.inc:16
INTERFACE_FUNCTION(__sanitizer_verify_contiguous_container)
```
The same thunk got patched twice. After the second patching, calls to
`__asan_before_dynamic_init` are redirected to `__sanitizer_verify_contiguous_container`
and trigger a DCHECK on incorrect operands/
The problem was caused by the macro that is only using __LINE__ to prevent
collapsing code.
```
#define INTERCEPT_SANITIZER_FUNCTION(name)
extern "C" __declspec(noinline) void name() {
volatile int prevent_icf = (__LINE__ << 8); (void)prevent_icf;
```
The current patch is adding __COUNTER__ which is safer than __LINE__.
Also, to precent ICF (guarantee that code is different), we are using a unique attribute:
- the name of the function
Reviewers: rnk
Reviewed By: rnk
Subscribers: llvm-commits, kubamracek, chrisha, dberris
Differential Revision: https://reviews.llvm.org/D30219
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@295761 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/sanitizer_common/sanitizer_quarantine.h')
0 files changed, 0 insertions, 0 deletions