From cd34e28676aa32fdc60c2ba54d6f4f6dbba33132 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Wed, 26 Mar 2014 20:30:25 +0800
Subject: add naming conflict report; add autoforce test

---
 test.c | 60 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 57 insertions(+), 3 deletions(-)

(limited to 'test.c')

diff --git a/test.c b/test.c
index 3a80510..dc564d9 100644
--- a/test.c
+++ b/test.c
@@ -1,7 +1,23 @@
 #include <stdlib.h>
+#include <stdio.h>
 #include "semantics.h"
-#define PV(str) cscope_push_var(scope, newvar(str))
-#define PT(str) cscope_push_type(scope, newtype(str))
+#define PV(str) \
+    do \
+    { \
+        if (cscope_push_var(scope, newvar(str))) \
+            fprintf(stderr, "Successfully pushed var: %s\n", str); \
+        else \
+            fprintf(stderr, "Naming conflicts deteced: %s\n", str); \
+    } while(0)
+
+#define PT(str) \
+    do \
+    { \
+        if (cscope_push_type(scope, newtype(str))) \
+            fprintf(stderr, "Successfully pushed type: %s\n", str); \
+        else \
+            fprintf(stderr, "Naming conflicts deteced: %s\n", str); \
+    } while(0)
 
 CVar_t newvar(const char *name) {
     return cvar_create(name, NULL);
@@ -11,7 +27,7 @@ CType_t newtype(const char *name) {
     return ctype_create(name, 0);
 }
 
-int main() {
+void manual() {
     CScope_t scope = cscope_create();
     PV("a");
     PV("b");
@@ -29,10 +45,48 @@ int main() {
     PV("yay");
     PV("world");
     PT("CType");
+    PV("a");
     cscope_debug_print(scope);
     cscope_exit(scope);
     cscope_debug_print(scope);
     cscope_exit(scope);
     cscope_debug_print(scope);
+}
+
+char *str_gen(int len) {
+    int i;
+    char *str = malloc(len);
+    for (i = 0; i < len; i++)
+        str[i] = rand() % 2 + 'a';
+    return str;
+}
+
+void autoforce() {
+    static const int max_lvl = 100,
+                    max_push = 10;
+    int i, j;
+    CScope_t scope = cscope_create();
+    for (i = 0; i < max_lvl; i++)
+    {
+        cscope_enter(scope);
+        int push = rand() % max_push;
+        for (j = 0; j < push; j++)
+        {
+            int len = rand() % 3 + 1;
+            int opt = rand() & 1;
+            if (opt) PV(str_gen(len));
+            else PT(str_gen(len));
+        }
+    }
+    for (i = 0; i < max_lvl; i++)
+    {
+        cscope_debug_print(scope);
+        cscope_exit(scope);
+    }
+}
+
+int main() {
+/*    manual(); */
+    autoforce();
     return 0;
 }
-- 
cgit v1.2.3