Changes between Version 112 and Version 113 of IR2

Timestamp:

05/29/21 00:06:02 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -265 +265 @@
 expr-pair-list: expr-pair (',' expr-pair)* ;
 expr-pair: '{' expr ',' expr '}' ;
+
 }}}
 
@@ -299 +300 @@
 For a complete type T, the "undef-initializer" for T is defined as follows: if T is not an array type, the undef-initializer is defined exactly as above: either the symbolic constant `UNDEF` or a concrete struct of `UNDEF`s.   If T is the complete array type S[n], the undef-initializer is the array-lambda expression with length n and defining expression the undef-initializer for S.  
 
-`$new_array(n,T)` returns the undef-initializer for T[n].
+`$new(T[n])` returns the undef-initializer for `T[n]`.
 
 Evaluation of `$defined(expr)` returns `!FORALL UNDEF:T . expr == UNDEF`, where `T` is the type of `expr`.  
@@ -341 +342 @@
 could be modeled as
 {{{
-$int * p = $undef;
-$int (*p1)[] = $undef; // pointer to array of $int
-p1 = $alloc(&heap, $new_array(10, $int));
-p = ($int*)p1; // equivalently, p = &(*p1)[0];
+$int * p;
+$int (*p1)[]; // pointer to array of $int
+p1 = $alloc(&heap, $new($int[10]));
+p = &(*p1)[0];
 }}}