upload demo control-flow.c

Author: yuleisui

SVFIR/src/control-flow.c

@@ -0,0 +1,17 @@
+extern int source();
+extern int sink(int);
+int bar(int s){
+	return s;
+}
+int main(){
+	int a = source();
+	if (a > 0){
+		int p = bar(a);
+		sink(p);
+	}
+	else{
+		int q = bar(a);
+		sink(q);
+	}
+}
+