Module Ast_cil

type name = string Ast_c.wrap
type var = name
type lvalue =
  1. | Id of name
  2. | ObjField of var * name
  3. | ArrayAccess of var * var
  4. | DeRef of var
type rvalue =
  1. | Int of string Ast_c.wrap
  2. | Float of string Ast_c.wrap
  3. | String of string Ast_c.wrap
  4. | StaticCall of name * var list
  5. | DynamicCall of var * var list
  6. | BuiltinCall of name * var list
  7. | Alloc of Ast_c.type_
  8. | AllocArray of var * Ast_c.type_
  9. | Lv of lvalue
type instr =
  1. | Assign of var * rvalue
  2. | AssignAddress of var * lvalue
  3. | AssignLvalue of lvalue * var