From 1ac45951a90c2eed70d5232d7cd794060c47162a Mon Sep 17 00:00:00 2001
From: Pavel <operasfantom@gmail.com>
Date: Mon, 4 Jul 2022 15:43:52 +0400
Subject: Eliminate .undefined_behavior.err category and simplify tests

---
 test/Feature/ubsan/ubsan_integer_divide_by_zero.c | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

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

diff --git a/test/Feature/ubsan/ubsan_integer_divide_by_zero.c b/test/Feature/ubsan/ubsan_integer_divide_by_zero.c
index c33bab38..09591e29 100644
--- a/test/Feature/ubsan/ubsan_integer_divide_by_zero.c
+++ b/test/Feature/ubsan/ubsan_integer_divide_by_zero.c
@@ -6,15 +6,9 @@
 
 #include "klee/klee.h"
 
-#if defined(__SIZEOF_INT128__) && !defined(_WIN32)
-typedef __int128 intmax;
-#else
-typedef long long intmax;
-#endif
-
 int main() {
-  intmax x;
-  volatile intmax result;
+  int x;
+  volatile int result;
 
   klee_make_symbolic(&x, sizeof(x), "x");
 
-- 
cgit 1.4.1