More tests

Author: ppashakhanloo

lab1/test/Makefile

@@ -1,6 +1,6 @@
 .PRECIOUS: %.ll
 
-all: simple0.out simple1.out branch0.out input0.out
+all: simple0.out simple1.out simple2.out simple3.out simple4.out simple5.out simple6.out simple7.out simple8.out simple9.c simple10.out simple11.out
 
 %.ll: %.c
 	clang -emit-llvm -S -fno-discard-value-names -c -o $@ $<

lab1/test/input0.c

@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int main(){
+  int x = 2 * fgetc(stdin) - 2;
+  int y = 5 / x; // Divide byb zero
+  return 0;
+}

lab1/test/branch0.c renamed to lab1/test/simple10.c

@@ -0,0 +1,10 @@
+void f() {
+  int x = 0;
+  int y = 2;
+  int z;
+  if (x < 1) {
+    z = y / x; // divide-by-zero within branch
+  } else {
+    z = z / x; // divide-by-zero within branch
+  }
+}

lab1/test/simple11.c

@@ -0,0 +1,8 @@
+int main() {
+  int a = 0;
+  int b = 0;
+  int d = 5;
+  int c = a == b;
+  int e = d / (c * 0); // divide by zero
+  return 0;
+}

lab1/test/simple2.c

@@ -0,0 +1,5 @@
+int main() {
+  int b = 0;
+  int a = b / 5; 
+  return 0;
+}

lab1/test/simple3.c

@@ -0,0 +1,11 @@
+#include <stdio.h>
+
+int main(){
+  int y = 1, z = 1;
+  int un;
+  int x = un + 1;
+  if (x == 0) {
+    z = y / x; // Divide by zero
+  }
+  return 0;
+}

lab1/test/simple4.c

@@ -0,0 +1,10 @@
+int main() {
+  int a, b;
+  int c = 0;
+  b = c;
+  a = b;
+  int d = a / c; // Divide by zero
+  c = c + 1;
+  int e = a / c;
+  return 0;
+}

lab1/test/simple5.c

@@ -0,0 +1,11 @@
+int main() {
+  int a, b;
+  int c = 0;
+  b = c;
+  a = b;
+  int d = a / c; // Divide by zero
+  c = c + 1;
+  c = c * 0;
+  int e = a / c; // Divide by zero
+  return 0;
+}

lab1/test/simple6.c

@@ -0,0 +1,5 @@
+int main() {
+  int a = 1;
+  int b = a / 0; // Divide by zero
+  return 0;
+}

lab1/test/simple7.c

@@ -0,0 +1,12 @@
+#include <stdio.h>
+
+int main() {
+  int u1 = fgetc(stdin);
+  int u2 = 4, d;
+  if (u1 != 0) {
+    d = u2 / u1; // Divide by zero
+  } else {
+    int d = u2 / (u1 + 1); // Divide by zero
+  }
+  return 0;
+}