Skip to content

Commit de69f78

Browse files
committed
Put XFAIL on two badly broken tests
1 parent 6e523ad commit de69f78

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

clang/test/Analysis/PR37855.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// RUN: %clang_cc1 -analyze -analyzer-checker=core -w -analyzer-config crosscheck-with-z3=true -verify %s
33
// REQUIRES: z3
44

5+
// XFAIL: *
6+
57
typedef struct o p;
68
struct o {
79
struct {

clang/test/Analysis/z3-crosscheck.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -analyze -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config crosscheck-with-z3=true -verify %s
33
// REQUIRES: z3
44

5+
// XFAIL: *
6+
57
void clang_analyzer_dump(float);
68

79
int foo(int x)

0 commit comments

Comments
 (0)