add opt checking testcases

1 files changed, 10 insertions, 0 deletions

diff --git a/testbed/custom_subexp2.c b/testbed/custom_subexp2.c
new file mode 100644
index 0000000..1e4af93
--- /dev/null
+++ b/testbed/custom_subexp2.c
@@ -0,0 +1,10 @@
+int flag = 0;
+int check(int x, int y) {
+    return x > 0 && y > 0 && (flag ^= 1);
+}
+int main() {
+    int x = 1, y = 2;
+    printf("%d\n", check(x, y));
+    printf("%d\n", check(x, y));
+    printf("%d\n", check(x, y));
+}