Changeset 53bb8f1 for tests/.expect/castError.txt

Timestamp:

Mar 12, 2019, 3:00:54 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

30e32b2, a2545593

Parents:

9d9a451 (diff), 91d6584 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge second draft of Aaron's thesis

File:

• tests/.expect/castError.txt (modified) (4 diffs)

tests/.expect/castError.txt

@@ -1 @@
-castError.cfa:7:1 error: Cannot choose between 3 alternatives for expression
-Cast of:
+castError.cfa:21:1 error: Cannot choose between 3 alternatives for expression
+Explicit Cast of:
   Name: f
 ... to:
   char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
      Variable Expression: f: function
        accepting unspecified arguments
@@ -16 +16 @@
  Environment:
 
-Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
      Variable Expression: f: double
    ... to:
@@ -25 +25 @@
  Environment:
 
-Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
      Variable Expression: f: signed int
    ... to:
@@ -35 +35 @@
 
 
+castError.cfa:26:1 error: Cannot choose between 2 alternatives for expression
+Generated Cast of:
+  Comma Expression:
+    constant expression (3 3: signed int)
+    Name: v
+... to: nothing Alternatives are:
+Cost ( 0, 0, 2, 0, 0, 0, 0 ): Generated Cast of:
+     Comma Expression:
+       constant expression (3 3: signed int)
+       Variable Expression: v: unsigned char
+   ... to: nothing
+ (types:
+   void 
+ )
+ Environment:
+
+Cost ( 0, 0, 2, 0, 0, 0, 0 ): Generated Cast of:
+     Comma Expression:
+       constant expression (3 3: signed int)
+       Variable Expression: v: signed short int
+   ... to: nothing
+ (types:
+   void 
+ )
+ Environment:
+
+