Changes between Version 14 and Version 15 of C to tass-AST xml

Timestamp:

04/10/11 20:20:48 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -16 +16 @@
 
 
-Preprocessing: first, the file is preprocessed to create a stream of tokens with original source information.
+Preprocessing: before an AST is created, the source file(s) are preprocessed to create a stream of tokens with complete source information.  This stream is fed to the parser which creates the AST.
 
 All AST nodes have source information.
@@ -30 +30 @@
    * assign
    * assert
-   * pragma
+   * assume
+   * pragma (any kind of pragma, represented as just a string)
       * string
       * assert, assume, invariant, input, output, ...
-   * switch
+   * case statement (select)
    * if-then, if-then-else
    * while
@@ -51 +52 @@
       * static, ...?
    * expressions (may have side-effects)
-      * literals (including named literals)
+      * literals (including named literals): integers, reals, strings, chars
       * variable
       * operators: +,-,*,/,%,<,<=,>,>=,==,!=,!,&&,\|\|
@@ -62 +63 @@
       * function invocation f(x)
       * initializers
+      * sizeof (type, expression, or string literal)
+      * startOf(a): &a[0] -- that is the Cil way of converting an array to pointer to first element
+      
 
 == Processing Stages ==
@@ -69 +73 @@
 Stages
  1. All variables, types, etc., are represented simply as identifiers
- 1. Symbol table information is used to annotate the AST
+ 1. Symbol table information is associated to the identifiers in the AST
  1. (Static) types are created and associated to every expression
  1. Variable objects are created and inserted into AST
- 1. Variables may be moved around to facilitate translation to model, ....
+ 1. Side effects are removed by introducing temp variables
+ 1. Local variables are all lifted to outermost scope