]>
Commit | Line | Data |
---|---|---|
92a42be0 SL |
1 | // RUN: %clang_cl_asan -O0 %s -Fe%t |
2 | // RUN: not %run %t 2>&1 | FileCheck %s | |
3 | ||
4 | #include <windows.h> | |
5 | ||
6 | typedef struct _S { | |
7 | unsigned int bf1:1; | |
8 | unsigned int bf2:2; | |
9 | unsigned int bf3:3; | |
10 | unsigned int bf4:4; | |
11 | } S; | |
12 | ||
13 | void make_access(S *s) { | |
14 | s->bf2 = 2; | |
15 | // CHECK: AddressSanitizer: heap-use-after-free on address [[ADDR:0x[0-9a-f]+]] | |
16 | // CHECK: READ of size {{[124]}} at [[ADDR]] | |
17 | // CHECK: {{#0 .* make_access.*bitfield_uaf.cc}}:[[@LINE-3]] | |
18 | // CHECK: {{#1 .* main}} | |
19 | } | |
20 | ||
21 | int main(void) { | |
22 | S *s = (S*)malloc(sizeof(S)); | |
23 | free(s); | |
24 | // CHECK: [[ADDR]] is located 0 bytes inside of 4-byte region | |
25 | // CHECK-LABEL: freed by thread T0 here: | |
26 | // CHECK: {{#0 .* free }} | |
27 | // CHECK: {{#1 .* main .*bitfield_uaf.cc}}:[[@LINE-4]] | |
28 | // CHECK-LABEL: previously allocated by thread T0 here: | |
29 | // CHECK: {{#0 .* malloc }} | |
30 | // CHECK: {{#1 .* main .*bitfield_uaf.cc}}:[[@LINE-8]] | |
31 | make_access(s); | |
32 | return 0; | |
33 | } | |
34 |