Changeset 4d5e57b for src/tests

Timestamp:

Nov 20, 2017, 4:03:55 PM (7 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:

1ba5803

Parents:

cdbfab0

Message:

Prevent implicit conversion of void * to other pointer type for parameter passing

Location:

src/tests

Files:

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

src/tests/.expect/completeTypeError.txt

@@ -1 @@
-completeTypeError.c:34:1 error: No reasonable alternatives for expression Applying untyped: 
+completeTypeError.c:33:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: *?
 ...to: 
   Name: v
 
+completeTypeError.c:34:1 error: No reasonable alternatives for expression Applying untyped: 
+  Name: *?
+...to: 
+  Name: y
+
+completeTypeError.c:35:1 error: No reasonable alternatives for expression Applying untyped: 
+  Name: foo
+...to: 
+  Name: v
 
 completeTypeError.c:36:1 error: No reasonable alternatives for expression Applying untyped: 
@@ -10 +19 @@
   Name: v
 
-
 completeTypeError.c:37:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: quux
 ...to: 
   Name: v
-
 
 completeTypeError.c:58:1 error: No reasonable alternatives for expression Applying untyped: 
@@ -22 +29 @@
   Name: y
 
-
 completeTypeError.c:59:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: quux
 ...to: 
   Name: y
-
 
 completeTypeError.c:60:1 error: No reasonable alternatives for expression Applying untyped: 
@@ -34 +39 @@
   Name: y
 
-
 completeTypeError.c:72:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: baz
@@ -40 +44 @@
   Name: z
 
-

src/tests/completeTypeError.c

@@ -12 +12 @@
         void *v;
 
-        // A * x;
-        // A * y;
-        // B * x;
-        // B * z;
+        A * x;
+        A * y;
+        B * x;
+        B * z;
 
         // okay
         *i;
-        // *x; // picks B
-        // *z;
+        *x; // picks B
+        *z;
         foo(i);
         bar(i);
@@ -29 +29 @@
         bar(v);
         qux(v);
-        foo(v); // questionable, but works at the moment for C compatibility
 
         // bad
         *v;
-        // *y;
+        *y;
+        foo(v);
         baz(v);
         quux(v);