1 // Verifies that speculative loads from unions do not happen under asan. 2 // RUN: %clangxx_asan -O0 %s -o %t && %run %t 2>&1 3 // RUN: %clangxx_asan -O1 %s -o %t && %run %t 2>&1 4 // RUN: %clangxx_asan -O2 %s -o %t && %run %t 2>&1 5 // RUN: %clangxx_asan -O3 %s -o %t && %run %t 2>&1 6 7 typedef union { 8 short q; 9 struct { 10 short x; 11 short y; 12 int for_alignment; 13 } w; 14 } U; 15 16 int main() { 17 char *buf = new char[2]; 18 buf[0] = buf[1] = 0x0; 19 U *u = (U *)buf; 20 short result = u->q == 0 ? 0 : u->w.y; 21 delete[] buf; 22 return result; 23 } 24 25
