From 1ac45951a90c2eed70d5232d7cd794060c47162a Mon Sep 17 00:00:00 2001 From: Pavel Date: Mon, 4 Jul 2022 15:43:52 +0400 Subject: Eliminate .undefined_behavior.err category and simplify tests --- test/Feature/ubsan/ubsan_enum.cpp | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 test/Feature/ubsan/ubsan_enum.cpp (limited to 'test/Feature/ubsan/ubsan_enum.cpp') diff --git a/test/Feature/ubsan/ubsan_enum.cpp b/test/Feature/ubsan/ubsan_enum.cpp new file mode 100644 index 00000000..fe01f978 --- /dev/null +++ b/test/Feature/ubsan/ubsan_enum.cpp @@ -0,0 +1,24 @@ +// RUN: %clangxx %s -fsanitize=enum -emit-llvm -g %O0opt -c -o %t.bc +// RUN: rm -rf %t.klee-out +// RUN: %klee --output-dir=%t.klee-out --emit-all-errors --ubsan-runtime %t.bc 2>&1 | FileCheck %s +// RUN: ls %t.klee-out/ | grep .ktest | wc -l | grep 2 +// RUN: ls %t.klee-out/ | grep .invalid_load.err | wc -l | grep 1 + +#include "klee/klee.h" + +enum E { a = 1 } e; + +int main() { + unsigned char x; + volatile bool result; + + klee_make_symbolic(&x, sizeof(x), "x"); + + for (unsigned char *p = (unsigned char *)&e; p != (unsigned char *)(&e + 1); ++p) + *p = x; + + // CHECK: runtime/Sanitizer/ubsan/ubsan_handlers.cpp:35: load invalid value + result = (int)e != -1; + + return 0; +} -- cgit 1.4.1