tests/autodetect/decl3.scop

   1 start: 41
   2 end: 51
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[] }" }'
   6 types:
   7 - name: S
   8   definition: "struct S {\n    int a;\n    int b;\n}"
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '{ s[] }'
  12   element_type: struct S
  13   element_size: 8
  14   element_is_record: 1
  15 - context: '{  :  }'
  16   extent: '{ s_a[s[] -> a[]] }'
  17   element_type: int
  18   element_size: 4
  19 - context: '{  :  }'
  20   extent: '{ s_b[s[] -> b[]] }'
  21   element_type: int
  22   element_size: 4
  23 statements:
  24 - line: 5
  25   domain: '{ S_0[] }'
  26   body:
  27     type: expression
  28     expr:
  29       type: op
  30       operation: =
  31       arguments:
  32       - type: access
  33         index: '{ S_0[] -> s_a[s[] -> a[]] }'
  34         reference: __pet_ref_0
  35         read: 0
  36         write: 1
  37       - type: int
  38         value: 3