Changeset 0f35657

Timestamp:

Nov 28, 2016, 3:16:45 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

f7e749f

Parents:

2c57025

Message:

updated completeTypeError test case

Location:

src/tests

Files:

• .expect/completeTypeError.txt (modified) (2 diffs)
• completeTypeError.c (modified) (5 diffs)
• shortCircuit.c (modified) (2 diffs)

src/tests/.expect/completeTypeError.txt

@@ -1 +1 @@
 CFA Version 1.0.0 (debug)
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: *?
+...to: 
+  Name: v
+
+
 Error: No reasonable alternatives for expression Applying untyped: 
   Name: baz
@@ -25 +31 @@
 
 Error: No reasonable alternatives for expression Applying untyped: 
+  Name: *?
+...to: 
+  Name: y
+
+
+Error: No reasonable alternatives for expression Applying untyped: 
   Name: baz
 ...to: 

src/tests/completeTypeError.c

@@ -10 +10 @@
 
         // okay
+        *i;
         foo(i);
         bar(i);
@@ -21 +22 @@
 
         // bad
+        *v;
         baz(v);
         quux(v);
@@ -32 +34 @@
         qux(x);
         quux(x);
+        *x;
 }
 
@@ -43 +46 @@
         baz(y);
         quux(y);
+        *y;
 }
 
@@ -51 +55 @@
         qux(z);
         quux(z);
+        *z;
 
         // bad

src/tests/shortCircuit.c

@@ -11 +11 @@
 
 void g() {
-    int a;
-    struct { int b; } a;
-    if ( a ) {
+        int a;
+        struct { int b; } a;
+        if ( a ) {
                 while ( a ) {
                         int *b;
@@ -19 +19 @@
                         }
                 }
-    }
+        }
 }