OLD | NEW |
(Empty) | |
| 1 ; Test that double frees are detected |
| 2 |
| 3 ; REQUIRES: no_minimal_build |
| 4 |
| 5 ; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \ |
| 6 ; RUN: --fsanitize-address --sz=-allow-externally-defined-symbols \ |
| 7 ; RUN: %t.pexe -o %t && %t 2>&1 | FileCheck --check-prefix=ERR %s |
| 8 ; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \ |
| 9 ; RUN: --fsanitize-address --sz=-allow-externally-defined-symbols -O2 \ |
| 10 ; RUN: %t.pexe -o %t && %t 2>&1 | FileCheck --check-prefix=ERR %s |
| 11 |
| 12 declare external i32 @malloc(i32) |
| 13 declare external void @free(i32) |
| 14 declare external void @exit(i32) |
| 15 |
| 16 define void @_start(i32 %arg) { |
| 17 %alloc = call i32 @malloc(i32 42) |
| 18 call void @free(i32 %alloc) |
| 19 call void @free(i32 %alloc) |
| 20 call void @exit(i32 1) |
| 21 ret void |
| 22 } |
| 23 |
| 24 ; ERR: Double free of object at |
OLD | NEW |