From 6d8c05c5349e7329e6f261317be6d43148bb20ed Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 14 Mar 2023 19:23:59 +0000 Subject: Refactored and fixed the code dealing with the entry point. main() should not be processed if the entry point is a different function. This also fixes an abnormal termination when --entry-point and --libc=uclibc are used together (#1572) --- test/Feature/EntryPointMissing.c | 1 - 1 file changed, 1 deletion(-) (limited to 'test') diff --git a/test/Feature/EntryPointMissing.c b/test/Feature/EntryPointMissing.c index 3a0d0530..c18fe590 100644 --- a/test/Feature/EntryPointMissing.c +++ b/test/Feature/EntryPointMissing.c @@ -1,6 +1,5 @@ // REQUIRES: posix-runtime // REQUIRES: uclibc -// XFAIL: * // RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out -- cgit 1.4.1