From a38ee31b70101955f7360f1e077261daf43c3378 Mon Sep 17 00:00:00 2001
From: Lukáš Zaoral <lzaoral@redhat.com>
Date: Mon, 20 Dec 2021 14:42:20 +0100
Subject: test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target
 triple`

Fixes assertion violation triggered in LLVM 13 CI job due to incompatibility
with default target triple and datalayout.
---
 test/Concrete/GlobalUndef.ll | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'test')

diff --git a/test/Concrete/GlobalUndef.ll b/test/Concrete/GlobalUndef.ll
index 99688bfd..9cfbb834 100644
--- a/test/Concrete/GlobalUndef.ll
+++ b/test/Concrete/GlobalUndef.ll
@@ -1,9 +1,5 @@
 ; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
 
-target datalayout =
-"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
 %struct.anon = type { i8, [3 x i8] }
 
 @z = global %struct.anon { i8 1, [3 x i8] undef }, align 4
-- 
cgit 1.4.1