Changes between Version 25 and Version 26 of C to tass-AST xml

Timestamp:

04/18/11 11:49:16 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -68 +68 @@
       * possible array extents information and other information modifying type?
       * storage class: automatic, static, extern, ...?
-   * expressions (may have side-effects)
+   * expressions (side-effect-free)
       * literals (including named literals): integers, reals, strings, chars
       * variable
       * operators
          * +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift, & (address-of), * (dereference)
-         * cast-to-t
-         * a[i] (array index)
-         * x.a (record navigation)
-      * assignments: x=expr, x++, x--, ++x, --x
+       * cast-to-t
+       * a[i] (array index)
+       * x.a (record navigation)
       * quantifiers: \forall, \exists, \uniform, \sum
-      * function invocation f(x)
       * initializers (special kind of expression used to initialize variables in their decl)
       * sizeof (type, expression, or string literal)
       * startOf(a): &a[0] -- that is the Cil way of converting an array to pointer to first element
+      * function invocation f(x) when f is abstract (pure) function
+   * expressions with side-effects
+      * assignments: x=expr, x++, x--, ++x, --x
+      * function invocation f(x) when f is concrete and return type of f is non-null
+