blob: 88e03e9912cd004baca56a59422ea6dcb46815e8 [file] [log] [blame]
; Test that double frees are detected
; REQUIRES: no_minimal_build
; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \
; RUN: --fsanitize-address --sz=-allow-externally-defined-symbols \
; RUN: %t.pexe -o %t && %t 2>&1 | FileCheck --check-prefix=ERR %s
; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \
; RUN: --fsanitize-address --sz=-allow-externally-defined-symbols -O2 \
; RUN: %t.pexe -o %t && %t 2>&1 | FileCheck --check-prefix=ERR %s
declare external i32 @malloc(i32)
declare external void @free(i32)
declare external void @exit(i32)
define void @_start(i32 %arg) {
%alloc = call i32 @malloc(i32 42)
call void @free(i32 %alloc)
call void @free(i32 %alloc)
call void @exit(i32 1)
ret void
}
; ERR: Double free of object at
; ERR-NEXT: address of __asan_error symbol is