From d79d048bfa21b432e1e9e97db9fca9924118b678 Mon Sep 17 00:00:00 2001
From: Lukáš Zaoral <lzaoral@redhat.com>
Date: Sat, 18 Mar 2023 16:43:02 +0100
Subject: llvm14: port test/Feature/VarArgByVal.c to LLVM 14

LLVM 14 has introduced the noundef function argument attribute.
---
 test/Feature/VarArgByVal.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/test/Feature/VarArgByVal.c b/test/Feature/VarArgByVal.c
index 42718bb9..551e6c63 100644
--- a/test/Feature/VarArgByVal.c
+++ b/test/Feature/VarArgByVal.c
@@ -5,8 +5,10 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --exit-on-error --output-dir=%t.klee-out %t1.bc
 // RUN: FileCheck %s --input-file=%t.klee-out/assembly.ll
-// CHECK: @test1({{.*}}, i32 -1, %struct.foo* byval{{.*}} %struct.bar* byval
-// CHECK: @test2({{.*}}, %struct.foo* byval{{.*}} %struct.bar* byval
+//
+// TODO: Make noundef unconditional when LLVM 14 is the oldest supported version.
+// CHECK: @test1({{.*}}, i32 {{(noundef )?}}-1, %struct.foo* {{(noundef )?}}byval{{.*}} %struct.bar* {{(noundef )?}}byval
+// CHECK: @test2({{.*}}, %struct.foo* {{(noundef )?}}byval{{.*}} %struct.bar* {{(noundef )?}}byval
 
 #include <stdarg.h>
 #include <assert.h>
-- 
cgit 1.4.1