xfail these until we can turn simplifyCFG back on, when it decides to…

… play nice wrt UB (#760)
google · May 26, 2020 · 5b78c3d · 5b78c3d
1 parent a7991c3
commit 5b78c3d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/test/Pass/sclang-prime.cpp b/test/Pass/sclang-prime.cpp
@@ -1,6 +1,7 @@
 // REQUIRES: solver
 // RUN: SOUPER_SOLVER=%solver SOUPER_NO_EXTERNAL_CACHE=1 %sclang++ -O3 %s -S -o - -emit-llvm 2>&1 | %FileCheck %s
 // CHECK: ret i1 false
+// XFAIL: *
 
 #include <limits.h>
 

diff --git a/test/Pass/sclang-rotate.cpp b/test/Pass/sclang-rotate.cpp
@@ -1,6 +1,7 @@
 // REQUIRES: solver
 // RUN: SOUPER_SOLVER=%solver SOUPER_NO_EXTERNAL_CACHE=1 %sclang++ -O3 %s -S -o - -emit-llvm 2>&1 | %FileCheck %s
 // CHECK: ret i1 false
+// XFAIL: *
 
 #include <stdint.h>