From 8ecf071992adab8b8c5593faab7338d16b15f364 Mon Sep 17 00:00:00 2001
From: Pavel <operasfantom@gmail.com>
Date: Sun, 10 Jul 2022 18:05:23 +0400
Subject: Improve pattern for FileCheck in UBSan's tests

---
 test/Feature/ubsan/ubsan_bool.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Feature/ubsan/ubsan_bool.c')

diff --git a/test/Feature/ubsan/ubsan_bool.c b/test/Feature/ubsan/ubsan_bool.c
index 6873299d..e7913a63 100644
--- a/test/Feature/ubsan/ubsan_bool.c
+++ b/test/Feature/ubsan/ubsan_bool.c
@@ -12,7 +12,7 @@ int main() {
 
   klee_make_symbolic(&x, sizeof(x), "x");
 
-  // CHECK: runtime/Sanitizer/ubsan/ubsan_handlers.cpp:35: load invalid value
+  // CHECK: KLEE: ERROR: {{.*}}runtime/Sanitizer/ubsan/ubsan_handlers.cpp:34: load invalid value
   result = *(_Bool *)&x;
 
   return 0;
-- 
cgit 1.4.1