Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : parser for dwarf file (to complete ...)
[simgrid.git] / examples / msg / mc / dwarf
1
2 .debug_info
3
4 COMPILE_UNIT<header overall offset = 0x00000000>:
5 < 0><0x0000000b>  DW_TAG_compile_unit
6                     DW_AT_producer              "GNU C 4.6.3"
7                     DW_AT_language              DW_LANG_C89
8                     DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/automaton.c"
9                     DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
10                     DW_AT_low_pc                0x00402ca4
11                     DW_AT_high_pc               0x00404083
12                     DW_AT_stmt_list             0x00000000
13                     DW_AT_macro_info            0
14
15 LOCAL_SYMBOLS:
16 < 1><0x00000031>    DW_TAG_typedef
17                       DW_AT_name                  "size_t"
18                       DW_AT_decl_file             0x00000004 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stddef.h
19                       DW_AT_decl_line             0x000000d4
20                       DW_AT_type                  <0x0000003c>
21 < 1><0x0000003c>    DW_TAG_base_type
22                       DW_AT_byte_size             0x00000008
23                       DW_AT_encoding              DW_ATE_unsigned
24                       DW_AT_name                  "long unsigned int"
25 < 1><0x00000043>    DW_TAG_base_type
26                       DW_AT_byte_size             0x00000004
27                       DW_AT_encoding              DW_ATE_signed
28                       DW_AT_name                  "int"
29 < 1><0x0000004a>    DW_TAG_base_type
30                       DW_AT_byte_size             0x00000004
31                       DW_AT_encoding              DW_ATE_unsigned
32                       DW_AT_name                  "unsigned int"
33 < 1><0x00000051>    DW_TAG_pointer_type
34                       DW_AT_byte_size             0x00000008
35                       DW_AT_type                  <0x00000043>
36 < 1><0x00000057>    DW_TAG_base_type
37                       DW_AT_byte_size             0x00000008
38                       DW_AT_encoding              DW_ATE_signed
39                       DW_AT_name                  "long int"
40 < 1><0x0000005e>    DW_TAG_base_type
41                       DW_AT_byte_size             0x00000008
42                       DW_AT_encoding              DW_ATE_signed
43                       DW_AT_name                  "long long int"
44 < 1><0x00000065>    DW_TAG_base_type
45                       DW_AT_byte_size             0x00000001
46                       DW_AT_encoding              DW_ATE_unsigned_char
47                       DW_AT_name                  "unsigned char"
48 < 1><0x0000006c>    DW_TAG_base_type
49                       DW_AT_byte_size             0x00000002
50                       DW_AT_encoding              DW_ATE_unsigned
51                       DW_AT_name                  "short unsigned int"
52 < 1><0x00000073>    DW_TAG_base_type
53                       DW_AT_byte_size             0x00000001
54                       DW_AT_encoding              DW_ATE_signed_char
55                       DW_AT_name                  "signed char"
56 < 1><0x0000007a>    DW_TAG_base_type
57                       DW_AT_byte_size             0x00000002
58                       DW_AT_encoding              DW_ATE_signed
59                       DW_AT_name                  "short int"
60 < 1><0x00000081>    DW_TAG_pointer_type
61                       DW_AT_byte_size             0x00000008
62 < 1><0x00000083>    DW_TAG_pointer_type
63                       DW_AT_byte_size             0x00000008
64                       DW_AT_type                  <0x00000089>
65 < 1><0x00000089>    DW_TAG_base_type
66                       DW_AT_byte_size             0x00000001
67                       DW_AT_encoding              DW_ATE_signed_char
68                       DW_AT_name                  "char"
69 < 1><0x00000090>    DW_TAG_base_type
70                       DW_AT_byte_size             0x00000008
71                       DW_AT_encoding              DW_ATE_unsigned
72                       DW_AT_name                  "long long unsigned int"
73 < 1><0x00000097>    DW_TAG_pointer_type
74                       DW_AT_byte_size             0x00000008
75                       DW_AT_type                  <0x0000009d>
76 < 1><0x0000009d>    DW_TAG_const_type
77 < 1><0x0000009e>    DW_TAG_pointer_type
78                       DW_AT_byte_size             0x00000008
79                       DW_AT_type                  <0x000000a4>
80 < 1><0x000000a4>    DW_TAG_const_type
81                       DW_AT_type                  <0x00000089>
82 < 1><0x000000a9>    DW_TAG_typedef
83                       DW_AT_name                  "void_f_pvoid_t"
84                       DW_AT_decl_file             0x00000005 /home/marion/Simgrid/include/xbt/function_types.h
85                       DW_AT_decl_line             0x00000011
86                       DW_AT_type                  <0x000000b4>
87 < 1><0x000000b4>    DW_TAG_pointer_type
88                       DW_AT_byte_size             0x00000008
89                       DW_AT_type                  <0x000000ba>
90 < 1><0x000000ba>    DW_TAG_subroutine_type
91                       DW_AT_prototyped            yes(1)
92                       DW_AT_sibling               <0x000000c6>
93 < 2><0x000000c0>      DW_TAG_formal_parameter
94                         DW_AT_type                  <0x00000081>
95 < 1><0x000000c6>    DW_TAG_base_type
96                       DW_AT_byte_size             0x00000008
97                       DW_AT_encoding              DW_ATE_float
98                       DW_AT_name                  "double"
99 < 1><0x000000cd>    DW_TAG_typedef
100                       DW_AT_name                  "xbt_dynar_t"
101                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
102                       DW_AT_decl_line             0x0000003e
103                       DW_AT_type                  <0x000000d8>
104 < 1><0x000000d8>    DW_TAG_pointer_type
105                       DW_AT_byte_size             0x00000008
106                       DW_AT_type                  <0x000000de>
107 < 1><0x000000de>    DW_TAG_structure_type
108                       DW_AT_name                  "xbt_dynar_s"
109                       DW_AT_byte_size             0x00000030
110                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
111                       DW_AT_decl_line             0x000000dc
112                       DW_AT_sibling               <0x0000013f>
113 < 2><0x000000ea>      DW_TAG_member
114                         DW_AT_name                  "size"
115                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
116                         DW_AT_decl_line             0x000000dd
117                         DW_AT_type                  <0x0000003c>
118                         DW_AT_data_member_location  DW_OP_plus_uconst 0
119 < 2><0x000000f8>      DW_TAG_member
120                         DW_AT_name                  "used"
121                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
122                         DW_AT_decl_line             0x000000de
123                         DW_AT_type                  <0x0000003c>
124                         DW_AT_data_member_location  DW_OP_plus_uconst 8
125 < 2><0x00000106>      DW_TAG_member
126                         DW_AT_name                  "elmsize"
127                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
128                         DW_AT_decl_line             0x000000df
129                         DW_AT_type                  <0x0000003c>
130                         DW_AT_data_member_location  DW_OP_plus_uconst 16
131 < 2><0x00000114>      DW_TAG_member
132                         DW_AT_name                  "data"
133                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
134                         DW_AT_decl_line             0x000000e0
135                         DW_AT_type                  <0x00000081>
136                         DW_AT_data_member_location  DW_OP_plus_uconst 24
137 < 2><0x00000122>      DW_TAG_member
138                         DW_AT_name                  "free_f"
139                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
140                         DW_AT_decl_line             0x000000e1
141                         DW_AT_type                  <0x000000a9>
142                         DW_AT_data_member_location  DW_OP_plus_uconst 32
143 < 2><0x00000130>      DW_TAG_member
144                         DW_AT_name                  "mutex"
145                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
146                         DW_AT_decl_line             0x000000e2
147                         DW_AT_type                  <0x0000013f>
148                         DW_AT_data_member_location  DW_OP_plus_uconst 40
149 < 1><0x0000013f>    DW_TAG_typedef
150                       DW_AT_name                  "xbt_mutex_t"
151                       DW_AT_decl_file             0x00000006 /home/marion/Simgrid/include/xbt/synchro_core.h
152                       DW_AT_decl_line             0x0000004a
153                       DW_AT_type                  <0x0000014a>
154 < 1><0x0000014a>    DW_TAG_pointer_type
155                       DW_AT_byte_size             0x00000008
156                       DW_AT_type                  <0x00000150>
157 < 1><0x00000150>    DW_TAG_structure_type
158                       DW_AT_name                  "s_xbt_mutex_"
159                       DW_AT_declaration           yes(1)
160 < 1><0x00000156>    DW_TAG_typedef
161                       DW_AT_name                  "__gnuc_va_list"
162                       DW_AT_decl_file             0x00000007 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
163                       DW_AT_decl_line             0x00000028
164                       DW_AT_type                  <0x00000161>
165 < 1><0x00000161>    DW_TAG_array_type
166                       DW_AT_type                  <0x00000171>
167                       DW_AT_sibling               <0x00000171>
168 < 2><0x0000016a>      DW_TAG_subrange_type
169                         DW_AT_type                  <0x0000003c>
170                         DW_AT_upper_bound           0
171 < 1><0x00000171>    DW_TAG_structure_type
172                       DW_AT_name                  "__va_list_tag"
173                       DW_AT_byte_size             0x00000018
174                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
175                       DW_AT_decl_line             0x00000000
176                       DW_AT_sibling               <0x000001b6>
177 < 2><0x0000017d>      DW_TAG_member
178                         DW_AT_name                  "gp_offset"
179                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
180                         DW_AT_decl_line             0x00000000
181                         DW_AT_type                  <0x0000004a>
182                         DW_AT_data_member_location  DW_OP_plus_uconst 0
183 < 2><0x0000018b>      DW_TAG_member
184                         DW_AT_name                  "fp_offset"
185                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
186                         DW_AT_decl_line             0x00000000
187                         DW_AT_type                  <0x0000004a>
188                         DW_AT_data_member_location  DW_OP_plus_uconst 4
189 < 2><0x00000199>      DW_TAG_member
190                         DW_AT_name                  "overflow_arg_area"
191                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
192                         DW_AT_decl_line             0x00000000
193                         DW_AT_type                  <0x00000081>
194                         DW_AT_data_member_location  DW_OP_plus_uconst 8
195 < 2><0x000001a7>      DW_TAG_member
196                         DW_AT_name                  "reg_save_area"
197                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
198                         DW_AT_decl_line             0x00000000
199                         DW_AT_type                  <0x00000081>
200                         DW_AT_data_member_location  DW_OP_plus_uconst 16
201 < 1><0x000001b6>    DW_TAG_typedef
202                       DW_AT_name                  "va_list"
203                       DW_AT_decl_file             0x00000007 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
204                       DW_AT_decl_line             0x00000066
205                       DW_AT_type                  <0x00000156>
206 < 1><0x000001c1>    DW_TAG_enumeration_type
207                       DW_AT_byte_size             0x00000004
208                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
209                       DW_AT_decl_line             0x0000002d
210                       DW_AT_sibling               <0x00000206>
211 < 2><0x000001c9>      DW_TAG_enumerator
212                         DW_AT_name                  "xbt_log_priority_none"
213                         DW_AT_const_value           0x00000000
214 < 2><0x000001cf>      DW_TAG_enumerator
215                         DW_AT_name                  "xbt_log_priority_trace"
216                         DW_AT_const_value           0x00000001
217 < 2><0x000001d5>      DW_TAG_enumerator
218                         DW_AT_name                  "xbt_log_priority_debug"
219                         DW_AT_const_value           0x00000002
220 < 2><0x000001db>      DW_TAG_enumerator
221                         DW_AT_name                  "xbt_log_priority_verbose"
222                         DW_AT_const_value           0x00000003
223 < 2><0x000001e1>      DW_TAG_enumerator
224                         DW_AT_name                  "xbt_log_priority_info"
225                         DW_AT_const_value           0x00000004
226 < 2><0x000001e7>      DW_TAG_enumerator
227                         DW_AT_name                  "xbt_log_priority_warning"
228                         DW_AT_const_value           0x00000005
229 < 2><0x000001ed>      DW_TAG_enumerator
230                         DW_AT_name                  "xbt_log_priority_error"
231                         DW_AT_const_value           0x00000006
232 < 2><0x000001f3>      DW_TAG_enumerator
233                         DW_AT_name                  "xbt_log_priority_critical"
234                         DW_AT_const_value           0x00000007
235 < 2><0x000001f9>      DW_TAG_enumerator
236                         DW_AT_name                  "xbt_log_priority_infinite"
237                         DW_AT_const_value           0x00000008
238 < 2><0x000001ff>      DW_TAG_enumerator
239                         DW_AT_name                  "xbt_log_priority_uninitialized"
240                         DW_AT_const_value           0xffffffffffffffff
241 < 1><0x00000206>    DW_TAG_typedef
242                       DW_AT_name                  "e_xbt_log_priority_t"
243                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
244                       DW_AT_decl_line             0x0000003a
245                       DW_AT_type                  <0x000001c1>
246 < 1><0x00000211>    DW_TAG_structure_type
247                       DW_AT_name                  "xbt_log_appender_s"
248                       DW_AT_declaration           yes(1)
249 < 1><0x00000217>    DW_TAG_typedef
250                       DW_AT_name                  "xbt_log_appender_t"
251                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
252                       DW_AT_decl_line             0x000000f2
253                       DW_AT_type                  <0x00000222>
254 < 1><0x00000222>    DW_TAG_pointer_type
255                       DW_AT_byte_size             0x00000008
256                       DW_AT_type                  <0x00000211>
257 < 1><0x00000228>    DW_TAG_structure_type
258                       DW_AT_name                  "xbt_log_layout_s"
259                       DW_AT_declaration           yes(1)
260 < 1><0x0000022e>    DW_TAG_typedef
261                       DW_AT_name                  "xbt_log_layout_t"
262                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
263                       DW_AT_decl_line             0x000000f3
264                       DW_AT_type                  <0x00000239>
265 < 1><0x00000239>    DW_TAG_pointer_type
266                       DW_AT_byte_size             0x00000008
267                       DW_AT_type                  <0x00000228>
268 < 1><0x0000023f>    DW_TAG_typedef
269                       DW_AT_name                  "s_xbt_log_event_t"
270                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
271                       DW_AT_decl_line             0x000000f4
272                       DW_AT_type                  <0x0000024a>
273 < 1><0x0000024a>    DW_TAG_structure_type
274                       DW_AT_name                  "xbt_log_event_s"
275                       DW_AT_byte_size             0x00000050
276                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
277                       DW_AT_decl_line             0x0000010a
278                       DW_AT_sibling               <0x000002cf>
279 < 2><0x00000257>      DW_TAG_member
280                         DW_AT_name                  "cat"
281                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
282                         DW_AT_decl_line             0x0000010b
283                         DW_AT_type                  <0x00000389>
284                         DW_AT_data_member_location  DW_OP_plus_uconst 0
285 < 2><0x00000266>      DW_TAG_member
286                         DW_AT_name                  "priority"
287                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
288                         DW_AT_decl_line             0x0000010c
289                         DW_AT_type                  <0x00000206>
290                         DW_AT_data_member_location  DW_OP_plus_uconst 8
291 < 2><0x00000275>      DW_TAG_member
292                         DW_AT_name                  "fileName"
293                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
294                         DW_AT_decl_line             0x0000010d
295                         DW_AT_type                  <0x0000009e>
296                         DW_AT_data_member_location  DW_OP_plus_uconst 16
297 < 2><0x00000284>      DW_TAG_member
298                         DW_AT_name                  "functionName"
299                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
300                         DW_AT_decl_line             0x0000010e
301                         DW_AT_type                  <0x0000009e>
302                         DW_AT_data_member_location  DW_OP_plus_uconst 24
303 < 2><0x00000293>      DW_TAG_member
304                         DW_AT_name                  "lineNum"
305                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
306                         DW_AT_decl_line             0x0000010f
307                         DW_AT_type                  <0x00000043>
308                         DW_AT_data_member_location  DW_OP_plus_uconst 32
309 < 2><0x000002a2>      DW_TAG_member
310                         DW_AT_name                  "ap"
311                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
312                         DW_AT_decl_line             0x00000110
313                         DW_AT_type                  <0x000001b6>
314                         DW_AT_data_member_location  DW_OP_plus_uconst 40
315 < 2><0x000002b0>      DW_TAG_member
316                         DW_AT_name                  "buffer"
317                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
318                         DW_AT_decl_line             0x00000111
319                         DW_AT_type                  <0x00000083>
320                         DW_AT_data_member_location  DW_OP_plus_uconst 64
321 < 2><0x000002bf>      DW_TAG_member
322                         DW_AT_name                  "buffer_size"
323                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
324                         DW_AT_decl_line             0x00000112
325                         DW_AT_type                  <0x00000043>
326                         DW_AT_data_member_location  DW_OP_plus_uconst 72
327 < 1><0x000002cf>    DW_TAG_typedef
328                       DW_AT_name                  "s_xbt_log_category_t"
329                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
330                       DW_AT_decl_line             0x000000f5
331                       DW_AT_type                  <0x000002da>
332 < 1><0x000002da>    DW_TAG_structure_type
333                       DW_AT_name                  "xbt_log_category_s"
334                       DW_AT_byte_size             0x00000050
335                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
336                       DW_AT_decl_line             0x000000fc
337                       DW_AT_sibling               <0x00000389>
338 < 2><0x000002e6>      DW_TAG_member
339                         DW_AT_name                  "parent"
340                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
341                         DW_AT_decl_line             0x000000fd
342                         DW_AT_type                  <0x00000389>
343                         DW_AT_data_member_location  DW_OP_plus_uconst 0
344 < 2><0x000002f4>      DW_TAG_member
345                         DW_AT_name                  "firstChild"
346                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
347                         DW_AT_decl_line             0x000000fe
348                         DW_AT_type                  <0x00000389>
349                         DW_AT_data_member_location  DW_OP_plus_uconst 8
350 < 2><0x00000302>      DW_TAG_member
351                         DW_AT_name                  "nextSibling"
352                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
353                         DW_AT_decl_line             0x000000ff
354                         DW_AT_type                  <0x00000389>
355                         DW_AT_data_member_location  DW_OP_plus_uconst 16
356 < 2><0x00000310>      DW_TAG_member
357                         DW_AT_name                  "name"
358                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
359                         DW_AT_decl_line             0x00000100
360                         DW_AT_type                  <0x0000009e>
361                         DW_AT_data_member_location  DW_OP_plus_uconst 24
362 < 2><0x0000031f>      DW_TAG_member
363                         DW_AT_name                  "description"
364                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
365                         DW_AT_decl_line             0x00000101
366                         DW_AT_type                  <0x0000009e>
367                         DW_AT_data_member_location  DW_OP_plus_uconst 32
368 < 2><0x0000032e>      DW_TAG_member
369                         DW_AT_name                  "initialized"
370                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
371                         DW_AT_decl_line             0x00000102
372                         DW_AT_type                  <0x00000043>
373                         DW_AT_data_member_location  DW_OP_plus_uconst 40
374 < 2><0x0000033d>      DW_TAG_member
375                         DW_AT_name                  "threshold"
376                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
377                         DW_AT_decl_line             0x00000103
378                         DW_AT_type                  <0x00000043>
379                         DW_AT_data_member_location  DW_OP_plus_uconst 44
380 < 2><0x0000034c>      DW_TAG_member
381                         DW_AT_name                  "isThreshInherited"
382                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
383                         DW_AT_decl_line             0x00000104
384                         DW_AT_type                  <0x00000043>
385                         DW_AT_data_member_location  DW_OP_plus_uconst 48
386 < 2><0x0000035b>      DW_TAG_member
387                         DW_AT_name                  "appender"
388                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
389                         DW_AT_decl_line             0x00000105
390                         DW_AT_type                  <0x00000217>
391                         DW_AT_data_member_location  DW_OP_plus_uconst 56
392 < 2><0x0000036a>      DW_TAG_member
393                         DW_AT_name                  "layout"
394                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
395                         DW_AT_decl_line             0x00000106
396                         DW_AT_type                  <0x0000022e>
397                         DW_AT_data_member_location  DW_OP_plus_uconst 64
398 < 2><0x00000379>      DW_TAG_member
399                         DW_AT_name                  "additivity"
400                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
401                         DW_AT_decl_line             0x00000107
402                         DW_AT_type                  <0x00000043>
403                         DW_AT_data_member_location  DW_OP_plus_uconst 72
404 < 1><0x00000389>    DW_TAG_typedef
405                       DW_AT_name                  "xbt_log_category_t"
406                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
407                       DW_AT_decl_line             0x000000f6
408                       DW_AT_type                  <0x00000394>
409 < 1><0x00000394>    DW_TAG_pointer_type
410                       DW_AT_byte_size             0x00000008
411                       DW_AT_type                  <0x000002da>
412 < 1><0x0000039a>    DW_TAG_structure_type
413                       DW_AT_name                  "xbt_state"
414                       DW_AT_byte_size             0x00000020
415                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
416                       DW_AT_decl_line             0x0000000c
417                       DW_AT_sibling               <0x000003dd>
418 < 2><0x000003a6>      DW_TAG_member
419                         DW_AT_name                  "id"
420                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
421                         DW_AT_decl_line             0x0000000d
422                         DW_AT_type                  <0x00000083>
423                         DW_AT_data_member_location  DW_OP_plus_uconst 0
424 < 2><0x000003b3>      DW_TAG_member
425                         DW_AT_name                  "type"
426                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
427                         DW_AT_decl_line             0x0000000e
428                         DW_AT_type                  <0x00000043>
429                         DW_AT_data_member_location  DW_OP_plus_uconst 8
430 < 2><0x000003c1>      DW_TAG_member
431                         DW_AT_name                  "in"
432                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
433                         DW_AT_decl_line             0x0000000f
434                         DW_AT_type                  <0x000000cd>
435                         DW_AT_data_member_location  DW_OP_plus_uconst 16
436 < 2><0x000003ce>      DW_TAG_member
437                         DW_AT_name                  "out"
438                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
439                         DW_AT_decl_line             0x00000010
440                         DW_AT_type                  <0x000000cd>
441                         DW_AT_data_member_location  DW_OP_plus_uconst 24
442 < 1><0x000003dd>    DW_TAG_typedef
443                       DW_AT_name                  "xbt_state_t"
444                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
445                       DW_AT_decl_line             0x00000013
446                       DW_AT_type                  <0x000003e8>
447 < 1><0x000003e8>    DW_TAG_pointer_type
448                       DW_AT_byte_size             0x00000008
449                       DW_AT_type                  <0x0000039a>
450 < 1><0x000003ee>    DW_TAG_structure_type
451                       DW_AT_name                  "xbt_automaton"
452                       DW_AT_byte_size             0x00000020
453                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
454                       DW_AT_decl_line             0x00000015
455                       DW_AT_sibling               <0x00000433>
456 < 2><0x000003fa>      DW_TAG_member
457                         DW_AT_name                  "propositional_symbols"
458                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
459                         DW_AT_decl_line             0x00000016
460                         DW_AT_type                  <0x000000cd>
461                         DW_AT_data_member_location  DW_OP_plus_uconst 0
462 < 2><0x00000408>      DW_TAG_member
463                         DW_AT_name                  "transitions"
464                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
465                         DW_AT_decl_line             0x00000017
466                         DW_AT_type                  <0x000000cd>
467                         DW_AT_data_member_location  DW_OP_plus_uconst 8
468 < 2><0x00000416>      DW_TAG_member
469                         DW_AT_name                  "states"
470                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
471                         DW_AT_decl_line             0x00000018
472                         DW_AT_type                  <0x000000cd>
473                         DW_AT_data_member_location  DW_OP_plus_uconst 16
474 < 2><0x00000424>      DW_TAG_member
475                         DW_AT_name                  "current_state"
476                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
477                         DW_AT_decl_line             0x00000019
478                         DW_AT_type                  <0x000003dd>
479                         DW_AT_data_member_location  DW_OP_plus_uconst 24
480 < 1><0x00000433>    DW_TAG_typedef
481                       DW_AT_name                  "xbt_automaton_t"
482                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
483                       DW_AT_decl_line             0x0000001c
484                       DW_AT_type                  <0x0000043e>
485 < 1><0x0000043e>    DW_TAG_pointer_type
486                       DW_AT_byte_size             0x00000008
487                       DW_AT_type                  <0x000003ee>
488 < 1><0x00000444>    DW_TAG_structure_type
489                       DW_AT_byte_size             0x00000010
490                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
491                       DW_AT_decl_line             0x00000023
492                       DW_AT_sibling               <0x00000469>
493 < 2><0x0000044c>      DW_TAG_member
494                         DW_AT_name                  "left_exp"
495                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
496                         DW_AT_decl_line             0x00000024
497                         DW_AT_type                  <0x00000490>
498                         DW_AT_data_member_location  DW_OP_plus_uconst 0
499 < 2><0x0000045a>      DW_TAG_member
500                         DW_AT_name                  "right_exp"
501                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
502                         DW_AT_decl_line             0x00000025
503                         DW_AT_type                  <0x00000490>
504                         DW_AT_data_member_location  DW_OP_plus_uconst 8
505 < 1><0x00000469>    DW_TAG_structure_type
506                       DW_AT_name                  "xbt_exp_label"
507                       DW_AT_byte_size             0x00000018
508                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
509                       DW_AT_decl_line             0x0000001e
510                       DW_AT_sibling               <0x00000490>
511 < 2><0x00000475>      DW_TAG_member
512                         DW_AT_name                  "type"
513                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
514                         DW_AT_decl_line             0x00000021
515                         DW_AT_type                  <0x00000043>
516                         DW_AT_data_member_location  DW_OP_plus_uconst 0
517 < 2><0x00000483>      DW_TAG_member
518                         DW_AT_name                  "u"
519                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
520                         DW_AT_decl_line             0x00000029
521                         DW_AT_type                  <0x00000496>
522                         DW_AT_data_member_location  DW_OP_plus_uconst 8
523 < 1><0x00000490>    DW_TAG_pointer_type
524                       DW_AT_byte_size             0x00000008
525                       DW_AT_type                  <0x00000469>
526 < 1><0x00000496>    DW_TAG_union_type
527                       DW_AT_byte_size             0x00000010
528                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
529                       DW_AT_decl_line             0x00000022
530                       DW_AT_sibling               <0x000004c0>
531 < 2><0x0000049e>      DW_TAG_member
532                         DW_AT_name                  "or_and"
533                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
534                         DW_AT_decl_line             0x00000026
535                         DW_AT_type                  <0x00000444>
536 < 2><0x000004a9>      DW_TAG_member
537                         DW_AT_name                  "exp_not"
538                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
539                         DW_AT_decl_line             0x00000027
540                         DW_AT_type                  <0x00000490>
541 < 2><0x000004b4>      DW_TAG_member
542                         DW_AT_name                  "predicat"
543                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
544                         DW_AT_decl_line             0x00000028
545                         DW_AT_type                  <0x00000083>
546 < 1><0x000004c0>    DW_TAG_typedef
547                       DW_AT_name                  "xbt_exp_label_t"
548                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
549                       DW_AT_decl_line             0x0000002c
550                       DW_AT_type                  <0x00000490>
551 < 1><0x000004cb>    DW_TAG_structure_type
552                       DW_AT_name                  "xbt_transition"
553                       DW_AT_byte_size             0x00000018
554                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
555                       DW_AT_decl_line             0x0000002f
556                       DW_AT_sibling               <0x00000502>
557 < 2><0x000004d7>      DW_TAG_member
558                         DW_AT_name                  "src"
559                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
560                         DW_AT_decl_line             0x00000030
561                         DW_AT_type                  <0x000003dd>
562                         DW_AT_data_member_location  DW_OP_plus_uconst 0
563 < 2><0x000004e5>      DW_TAG_member
564                         DW_AT_name                  "dst"
565                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
566                         DW_AT_decl_line             0x00000031
567                         DW_AT_type                  <0x000003dd>
568                         DW_AT_data_member_location  DW_OP_plus_uconst 8
569 < 2><0x000004f3>      DW_TAG_member
570                         DW_AT_name                  "label"
571                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
572                         DW_AT_decl_line             0x00000032
573                         DW_AT_type                  <0x000004c0>
574                         DW_AT_data_member_location  DW_OP_plus_uconst 16
575 < 1><0x00000502>    DW_TAG_typedef
576                       DW_AT_name                  "xbt_transition_t"
577                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
578                       DW_AT_decl_line             0x00000035
579                       DW_AT_type                  <0x0000050d>
580 < 1><0x0000050d>    DW_TAG_pointer_type
581                       DW_AT_byte_size             0x00000008
582                       DW_AT_type                  <0x000004cb>
583 < 1><0x00000513>    DW_TAG_structure_type
584                       DW_AT_name                  "xbt_propositional_symbol"
585                       DW_AT_byte_size             0x00000010
586                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
587                       DW_AT_decl_line             0x00000038
588                       DW_AT_sibling               <0x0000053c>
589 < 2><0x0000051f>      DW_TAG_member
590                         DW_AT_name                  "pred"
591                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
592                         DW_AT_decl_line             0x00000039
593                         DW_AT_type                  <0x00000083>
594                         DW_AT_data_member_location  DW_OP_plus_uconst 0
595 < 2><0x0000052d>      DW_TAG_member
596                         DW_AT_name                  "function"
597                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
598                         DW_AT_decl_line             0x0000003a
599                         DW_AT_type                  <0x00000081>
600                         DW_AT_data_member_location  DW_OP_plus_uconst 8
601 < 1><0x0000053c>    DW_TAG_typedef
602                       DW_AT_name                  "xbt_propositional_symbol_t"
603                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
604                       DW_AT_decl_line             0x0000003d
605                       DW_AT_type                  <0x00000547>
606 < 1><0x00000547>    DW_TAG_pointer_type
607                       DW_AT_byte_size             0x00000008
608                       DW_AT_type                  <0x00000513>
609 < 1><0x0000054d>    DW_TAG_subprogram
610                       DW_AT_name                  "xbt_malloc0"
611                       DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
612                       DW_AT_decl_line             0x00000069
613                       DW_AT_prototyped            yes(1)
614                       DW_AT_type                  <0x00000081>
615                       DW_AT_inline                DW_INL_declared_inlined
616                       DW_AT_sibling               <0x0000059d>
617 < 2><0x0000055e>      DW_TAG_formal_parameter
618                         DW_AT_name                  "n"
619                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
620                         DW_AT_decl_line             0x00000069
621                         DW_AT_type                  <0x00000031>
622 < 2><0x00000567>      DW_TAG_variable
623                         DW_AT_name                  "res"
624                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
625                         DW_AT_decl_line             0x0000006b
626                         DW_AT_type                  <0x00000081>
627 < 2><0x00000572>      DW_TAG_variable
628                         DW_AT_name                  "__FUNCTION__"
629                         DW_AT_type                  <0x000005ad>
630                         DW_AT_artificial            yes(1)
631                         DW_AT_const_value           "xbt_malloc0"
632 < 2><0x00000580>      DW_TAG_lexical_block
633 < 3><0x00000581>        DW_TAG_variable
634                           DW_AT_name                  "_simgrid_log_category__xbt"
635                           DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
636                           DW_AT_decl_line             0x0000006f
637                           DW_AT_type                  <0x000002cf>
638                           DW_AT_external              yes(1)
639                           DW_AT_declaration           yes(1)
640 < 3><0x0000058e>        DW_TAG_lexical_block
641 < 4><0x0000058f>          DW_TAG_variable
642                             DW_AT_name                  "_log_ev"
643                             DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
644                             DW_AT_decl_line             0x0000006f
645                             DW_AT_type                  <0x0000023f>
646 < 1><0x0000059d>    DW_TAG_array_type
647                       DW_AT_type                  <0x00000089>
648                       DW_AT_sibling               <0x000005ad>
649 < 2><0x000005a6>      DW_TAG_subrange_type
650                         DW_AT_type                  <0x0000003c>
651                         DW_AT_upper_bound           11
652 < 1><0x000005ad>    DW_TAG_const_type
653                       DW_AT_type                  <0x0000059d>
654 < 1><0x000005b2>    DW_TAG_subprogram
655                       DW_AT_name                  "_xbt_dynar_cursor_first"
656                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
657                       DW_AT_decl_line             0x000000e6
658                       DW_AT_prototyped            yes(1)
659                       DW_AT_low_pc                0x00402ca4
660                       DW_AT_high_pc               0x00402cdd
661                       DW_AT_frame_base            <loclist with 4 entries follows>
662                         [ 0]<lowpc=0x00000000><highpc=0x00000001>DW_OP_breg7+8
663                         [ 1]<lowpc=0x00000001><highpc=0x00000004>DW_OP_breg7+16
664                         [ 2]<lowpc=0x00000004><highpc=0x00000038>DW_OP_breg6+16
665                         [ 3]<lowpc=0x00000038><highpc=0x00000039>DW_OP_breg7+8
666                       DW_AT_sibling               <0x000005ef>
667 < 2><0x000005d2>      DW_TAG_formal_parameter
668                         DW_AT_name                  "dynar"
669                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
670                         DW_AT_decl_line             0x000000e6
671                         DW_AT_type                  <0x000005ef>
672                         DW_AT_location              DW_OP_fbreg -24
673 < 2><0x000005e0>      DW_TAG_formal_parameter
674                         DW_AT_name                  "cursor"
675                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
676                         DW_AT_decl_line             0x000000e7
677                         DW_AT_type                  <0x000005f4>
678                         DW_AT_location              DW_OP_fbreg -32
679 < 1><0x000005ef>    DW_TAG_const_type
680                       DW_AT_type                  <0x000000cd>
681 < 1><0x000005f4>    DW_TAG_const_type
682                       DW_AT_type                  <0x000005f9>
683 < 1><0x000005f9>    DW_TAG_pointer_type
684                       DW_AT_byte_size             0x00000008
685                       DW_AT_type                  <0x0000004a>
686 < 1><0x000005ff>    DW_TAG_subprogram
687                       DW_AT_name                  "_xbt_dynar_cursor_get"
688                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
689                       DW_AT_decl_line             0x000000f2
690                       DW_AT_prototyped            yes(1)
691                       DW_AT_type                  <0x00000043>
692                       DW_AT_low_pc                0x00402cdd
693                       DW_AT_high_pc               0x00402d5f
694                       DW_AT_frame_base            <loclist with 4 entries follows>
695                         [ 0]<lowpc=0x00000039><highpc=0x0000003a>DW_OP_breg7+8
696                         [ 1]<lowpc=0x0000003a><highpc=0x0000003d>DW_OP_breg7+16
697                         [ 2]<lowpc=0x0000003d><highpc=0x000000ba>DW_OP_breg6+16
698                         [ 3]<lowpc=0x000000ba><highpc=0x000000bb>DW_OP_breg7+8
699                       DW_AT_sibling               <0x0000064e>
700 < 2><0x00000623>      DW_TAG_formal_parameter
701                         DW_AT_name                  "dynar"
702                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
703                         DW_AT_decl_line             0x000000f2
704                         DW_AT_type                  <0x000005ef>
705                         DW_AT_location              DW_OP_fbreg -24
706 < 2><0x00000631>      DW_TAG_formal_parameter
707                         DW_AT_name                  "idx"
708                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
709                         DW_AT_decl_line             0x000000f3
710                         DW_AT_type                  <0x0000004a>
711                         DW_AT_location              DW_OP_fbreg -28
712 < 2><0x0000063f>      DW_TAG_formal_parameter
713                         DW_AT_name                  "dst"
714                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
715                         DW_AT_decl_line             0x000000f3
716                         DW_AT_type                  <0x0000064e>
717                         DW_AT_location              DW_OP_fbreg -40
718 < 1><0x0000064e>    DW_TAG_const_type
719                       DW_AT_type                  <0x00000081>
720 < 1><0x00000653>    DW_TAG_subprogram
721                       DW_AT_external              yes(1)
722                       DW_AT_name                  "xbt_automaton_new_automaton"
723                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
724                       DW_AT_decl_line             0x00000003
725                       DW_AT_prototyped            yes(1)
726                       DW_AT_type                  <0x00000433>
727                       DW_AT_low_pc                0x00402d5f
728                       DW_AT_high_pc               0x00402e52
729                       DW_AT_frame_base            <loclist with 4 entries follows>
730                         [ 0]<lowpc=0x000000bb><highpc=0x000000bc>DW_OP_breg7+8
731                         [ 1]<lowpc=0x000000bc><highpc=0x000000bf>DW_OP_breg7+16
732                         [ 2]<lowpc=0x000000bf><highpc=0x000001ad>DW_OP_breg6+16
733                         [ 3]<lowpc=0x000001ad><highpc=0x000001ae>DW_OP_breg7+8
734                       DW_AT_sibling               <0x00000703>
735 < 2><0x00000678>      DW_TAG_variable
736                         DW_AT_name                  "automaton"
737                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
738                         DW_AT_decl_line             0x00000004
739                         DW_AT_type                  <0x00000433>
740                         DW_AT_location              DW_OP_fbreg -24
741 < 2><0x00000686>      DW_TAG_inlined_subroutine
742                         DW_AT_abstract_origin       <0x0000054d>
743                         DW_AT_low_pc                0x00402d77
744                         DW_AT_high_pc               0x00402e08
745                         DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
746                         DW_AT_call_line             0x00000005
747 < 3><0x0000069d>        DW_TAG_formal_parameter
748                           DW_AT_abstract_origin       <0x0000055e>
749                           DW_AT_location              DW_OP_fbreg -32
750 < 3><0x000006a5>        DW_TAG_lexical_block
751                           DW_AT_low_pc                0x00402d77
752                           DW_AT_high_pc               0x00402e08
753 < 4><0x000006b6>          DW_TAG_variable
754                             DW_AT_abstract_origin       <0x00000567>
755                             DW_AT_location              DW_OP_fbreg -40
756 < 4><0x000006be>          DW_TAG_variable
757                             DW_AT_abstract_origin       <0x00000572>
758                             DW_AT_location              DW_OP_addr 0x00407828
759 < 4><0x000006cd>          DW_TAG_lexical_block
760                             DW_AT_low_pc                0x00402d93
761                             DW_AT_high_pc               0x00402e00
762 < 5><0x000006de>            DW_TAG_variable
763                               DW_AT_abstract_origin       <0x00000581>
764                               DW_AT_declaration           yes(1)
765 < 5><0x000006e4>            DW_TAG_lexical_block
766                               DW_AT_low_pc                0x00402dbb
767                               DW_AT_high_pc               0x00402dfb
768 < 6><0x000006f5>              DW_TAG_variable
769                                 DW_AT_abstract_origin       <0x0000058f>
770                                 DW_AT_location              DW_OP_fbreg -128
771 < 1><0x00000703>    DW_TAG_subprogram
772                       DW_AT_external              yes(1)
773                       DW_AT_name                  "xbt_automaton_new_state"
774                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
775                       DW_AT_decl_line             0x0000000c
776                       DW_AT_prototyped            yes(1)
777                       DW_AT_type                  <0x000003dd>
778                       DW_AT_low_pc                0x00402e52
779                       DW_AT_high_pc               0x00402f8c
780                       DW_AT_frame_base            <loclist with 4 entries follows>
781                         [ 0]<lowpc=0x000001ae><highpc=0x000001af>DW_OP_breg7+8
782                         [ 1]<lowpc=0x000001af><highpc=0x000001b2>DW_OP_breg7+16
783                         [ 2]<lowpc=0x000001b2><highpc=0x000002e7>DW_OP_breg6+16
784                         [ 3]<lowpc=0x000002e7><highpc=0x000002e8>DW_OP_breg7+8
785                       DW_AT_sibling               <0x000007dd>
786 < 2><0x00000728>      DW_TAG_formal_parameter
787                         DW_AT_name                  "a"
788                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
789                         DW_AT_decl_line             0x0000000c
790                         DW_AT_type                  <0x00000433>
791                         DW_AT_location              DW_OP_fbreg -152
792 < 2><0x00000735>      DW_TAG_formal_parameter
793                         DW_AT_name                  "type"
794                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
795                         DW_AT_decl_line             0x0000000c
796                         DW_AT_type                  <0x00000043>
797                         DW_AT_location              DW_OP_fbreg -156
798 < 2><0x00000744>      DW_TAG_formal_parameter
799                         DW_AT_name                  "id"
800                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
801                         DW_AT_decl_line             0x0000000c
802                         DW_AT_type                  <0x00000083>
803                         DW_AT_location              DW_OP_fbreg -168
804 < 2><0x00000752>      DW_TAG_variable
805                         DW_AT_name                  "state"
806                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
807                         DW_AT_decl_line             0x0000000d
808                         DW_AT_type                  <0x000003dd>
809                         DW_AT_location              DW_OP_fbreg -56
810 < 2><0x00000760>      DW_TAG_inlined_subroutine
811                         DW_AT_abstract_origin       <0x0000054d>
812                         DW_AT_low_pc                0x00402e82
813                         DW_AT_high_pc               0x00402f0f
814                         DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
815                         DW_AT_call_line             0x0000000e
816 < 3><0x00000777>        DW_TAG_formal_parameter
817                           DW_AT_abstract_origin       <0x0000055e>
818                           DW_AT_location              DW_OP_fbreg -40
819 < 3><0x0000077f>        DW_TAG_lexical_block
820                           DW_AT_low_pc                0x00402e82
821                           DW_AT_high_pc               0x00402f0f
822 < 4><0x00000790>          DW_TAG_variable
823                             DW_AT_abstract_origin       <0x00000567>
824                             DW_AT_location              DW_OP_fbreg -48
825 < 4><0x00000798>          DW_TAG_variable
826                             DW_AT_abstract_origin       <0x00000572>
827                             DW_AT_location              DW_OP_addr 0x00407828
828 < 4><0x000007a7>          DW_TAG_lexical_block
829                             DW_AT_low_pc                0x00402e9e
830                             DW_AT_high_pc               0x00402f0b
831 < 5><0x000007b8>            DW_TAG_variable
832                               DW_AT_abstract_origin       <0x00000581>
833                               DW_AT_declaration           yes(1)
834 < 5><0x000007be>            DW_TAG_lexical_block
835                               DW_AT_low_pc                0x00402ec6
836                               DW_AT_high_pc               0x00402f06
837 < 6><0x000007cf>              DW_TAG_variable
838                                 DW_AT_abstract_origin       <0x0000058f>
839                                 DW_AT_location              DW_OP_fbreg -144
840 < 1><0x000007dd>    DW_TAG_subprogram
841                       DW_AT_external              yes(1)
842                       DW_AT_name                  "xbt_automaton_new_transition"
843                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
844                       DW_AT_decl_line             0x00000017
845                       DW_AT_prototyped            yes(1)
846                       DW_AT_type                  <0x00000502>
847                       DW_AT_low_pc                0x00402f8c
848                       DW_AT_high_pc               0x004030d6
849                       DW_AT_frame_base            <loclist with 4 entries follows>
850                         [ 0]<lowpc=0x000002e8><highpc=0x000002e9>DW_OP_breg7+8
851                         [ 1]<lowpc=0x000002e9><highpc=0x000002ec>DW_OP_breg7+16
852                         [ 2]<lowpc=0x000002ec><highpc=0x00000431>DW_OP_breg6+16
853                         [ 3]<lowpc=0x00000431><highpc=0x00000432>DW_OP_breg7+8
854                       DW_AT_sibling               <0x000008c7>
855 < 2><0x00000802>      DW_TAG_formal_parameter
856                         DW_AT_name                  "a"
857                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
858                         DW_AT_decl_line             0x00000017
859                         DW_AT_type                  <0x00000433>
860                         DW_AT_location              DW_OP_fbreg -136
861 < 2><0x0000080f>      DW_TAG_formal_parameter
862                         DW_AT_name                  "src"
863                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
864                         DW_AT_decl_line             0x00000017
865                         DW_AT_type                  <0x000003dd>
866                         DW_AT_location              DW_OP_fbreg -144
867 < 2><0x0000081e>      DW_TAG_formal_parameter
868                         DW_AT_name                  "dst"
869                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
870                         DW_AT_decl_line             0x00000017
871                         DW_AT_type                  <0x000003dd>
872                         DW_AT_location              DW_OP_fbreg -152
873 < 2><0x0000082d>      DW_TAG_formal_parameter
874                         DW_AT_name                  "label"
875                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
876                         DW_AT_decl_line             0x00000017
877                         DW_AT_type                  <0x000004c0>
878                         DW_AT_location              DW_OP_fbreg -160
879 < 2><0x0000083c>      DW_TAG_variable
880                         DW_AT_name                  "transition"
881                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
882                         DW_AT_decl_line             0x00000018
883                         DW_AT_type                  <0x00000502>
884                         DW_AT_location              DW_OP_fbreg -40
885 < 2><0x0000084a>      DW_TAG_inlined_subroutine
886                         DW_AT_abstract_origin       <0x0000054d>
887                         DW_AT_low_pc                0x00402fbd
888                         DW_AT_high_pc               0x0040304a
889                         DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
890                         DW_AT_call_line             0x00000019
891 < 3><0x00000861>        DW_TAG_formal_parameter
892                           DW_AT_abstract_origin       <0x0000055e>
893                           DW_AT_location              DW_OP_fbreg -24
894 < 3><0x00000869>        DW_TAG_lexical_block
895                           DW_AT_low_pc                0x00402fbd
896                           DW_AT_high_pc               0x0040304a
897 < 4><0x0000087a>          DW_TAG_variable
898                             DW_AT_abstract_origin       <0x00000567>
899                             DW_AT_location              DW_OP_fbreg -32
900 < 4><0x00000882>          DW_TAG_variable
901                             DW_AT_abstract_origin       <0x00000572>
902                             DW_AT_location              DW_OP_addr 0x00407828
903 < 4><0x00000891>          DW_TAG_lexical_block
904                             DW_AT_low_pc                0x00402fd9
905                             DW_AT_high_pc               0x00403046
906 < 5><0x000008a2>            DW_TAG_variable
907                               DW_AT_abstract_origin       <0x00000581>
908                               DW_AT_declaration           yes(1)
909 < 5><0x000008a8>            DW_TAG_lexical_block
910                               DW_AT_low_pc                0x00403001
911                               DW_AT_high_pc               0x00403041
912 < 6><0x000008b9>              DW_TAG_variable
913                                 DW_AT_abstract_origin       <0x0000058f>
914                                 DW_AT_location              DW_OP_fbreg -128
915 < 1><0x000008c7>    DW_TAG_subprogram
916                       DW_AT_external              yes(1)
917                       DW_AT_name                  "xbt_automaton_new_label"
918                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
919                       DW_AT_decl_line             0x00000027
920                       DW_AT_prototyped            yes(1)
921                       DW_AT_type                  <0x000004c0>
922                       DW_AT_low_pc                0x004030d6
923                       DW_AT_high_pc               0x004034c8
924                       DW_AT_frame_base            <loclist with 4 entries follows>
925                         [ 0]<lowpc=0x00000432><highpc=0x00000433>DW_OP_breg7+8
926                         [ 1]<lowpc=0x00000433><highpc=0x00000436>DW_OP_breg7+16
927                         [ 2]<lowpc=0x00000436><highpc=0x00000823>DW_OP_breg6+16
928                         [ 3]<lowpc=0x00000823><highpc=0x00000824>DW_OP_breg7+8
929                       DW_AT_sibling               <0x00000a48>
930 < 2><0x000008ec>      DW_TAG_formal_parameter
931                         DW_AT_name                  "type"
932                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
933                         DW_AT_decl_line             0x00000027
934                         DW_AT_type                  <0x00000043>
935                         DW_AT_location              DW_OP_fbreg -372
936 < 2><0x000008fb>      DW_TAG_unspecified_parameters
937 < 2><0x000008fc>      DW_TAG_variable
938                         DW_AT_name                  "label"
939                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
940                         DW_AT_decl_line             0x00000028
941                         DW_AT_type                  <0x000004c0>
942                         DW_AT_location              DW_OP_fbreg -200
943 < 2><0x0000090b>      DW_TAG_variable
944                         DW_AT_name                  "ap"
945                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
946                         DW_AT_decl_line             0x0000002c
947                         DW_AT_type                  <0x000001b6>
948                         DW_AT_location              DW_OP_fbreg -288
949 < 2><0x00000919>      DW_TAG_inlined_subroutine
950                         DW_AT_abstract_origin       <0x0000054d>
951                         DW_AT_low_pc                0x00403144
952                         DW_AT_high_pc               0x004031fd
953                         DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
954                         DW_AT_call_line             0x00000029
955                         DW_AT_sibling               <0x0000099b>
956 < 3><0x00000934>        DW_TAG_formal_parameter
957                           DW_AT_abstract_origin       <0x0000055e>
958                           DW_AT_location              DW_OP_fbreg -256
959 < 3><0x0000093d>        DW_TAG_lexical_block
960                           DW_AT_low_pc                0x00403144
961                           DW_AT_high_pc               0x004031fd
962 < 4><0x0000094e>          DW_TAG_variable
963                             DW_AT_abstract_origin       <0x00000567>
964                             DW_AT_location              DW_OP_fbreg -264
965 < 4><0x00000957>          DW_TAG_variable
966                             DW_AT_abstract_origin       <0x00000572>
967                             DW_AT_location              DW_OP_addr 0x00407828
968 < 4><0x00000966>          DW_TAG_lexical_block
969                             DW_AT_low_pc                0x0040316d
970                             DW_AT_high_pc               0x004031ef
971 < 5><0x00000977>            DW_TAG_variable
972                               DW_AT_abstract_origin       <0x00000581>
973                               DW_AT_declaration           yes(1)
974 < 5><0x0000097d>            DW_TAG_lexical_block
975                               DW_AT_low_pc                0x00403195
976                               DW_AT_high_pc               0x004031ea
977 < 6><0x0000098e>              DW_TAG_variable
978                                 DW_AT_abstract_origin       <0x0000058f>
979                                 DW_AT_location              DW_OP_fbreg -368
980 < 2><0x0000099b>      DW_TAG_lexical_block
981                         DW_AT_low_pc                0x0040326d
982                         DW_AT_high_pc               0x00403330
983                         DW_AT_sibling               <0x000009cf>
984 < 3><0x000009b0>        DW_TAG_variable
985                           DW_AT_name                  "left"
986                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
987                           DW_AT_decl_line             0x00000030
988                           DW_AT_type                  <0x000004c0>
989                           DW_AT_location              DW_OP_fbreg -208
990 < 3><0x000009bf>        DW_TAG_variable
991                           DW_AT_name                  "right"
992                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
993                           DW_AT_decl_line             0x00000031
994                           DW_AT_type                  <0x000004c0>
995                           DW_AT_location              DW_OP_fbreg -216
996 < 2><0x000009cf>      DW_TAG_lexical_block
997                         DW_AT_low_pc                0x00403330
998                         DW_AT_high_pc               0x004033f3
999                         DW_AT_sibling               <0x00000a03>
1000 < 3><0x000009e4>        DW_TAG_variable
1001                           DW_AT_name                  "left"
1002                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1003                           DW_AT_decl_line             0x00000037
1004                           DW_AT_type                  <0x000004c0>
1005                           DW_AT_location              DW_OP_fbreg -224
1006 < 3><0x000009f3>        DW_TAG_variable
1007                           DW_AT_name                  "right"
1008                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1009                           DW_AT_decl_line             0x00000038
1010                           DW_AT_type                  <0x000004c0>
1011                           DW_AT_location              DW_OP_fbreg -232
1012 < 2><0x00000a03>      DW_TAG_lexical_block
1013                         DW_AT_low_pc                0x004033f3
1014                         DW_AT_high_pc               0x00403454
1015                         DW_AT_sibling               <0x00000a28>
1016 < 3><0x00000a18>        DW_TAG_variable
1017                           DW_AT_name                  "exp_not"
1018                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1019                           DW_AT_decl_line             0x0000003e
1020                           DW_AT_type                  <0x000004c0>
1021                           DW_AT_location              DW_OP_fbreg -240
1022 < 2><0x00000a28>      DW_TAG_lexical_block
1023                         DW_AT_low_pc                0x00403454
1024                         DW_AT_high_pc               0x004034bf
1025 < 3><0x00000a39>        DW_TAG_variable
1026                           DW_AT_name                  "p"
1027                           DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1028                           DW_AT_decl_line             0x00000043
1029                           DW_AT_type                  <0x00000083>
1030                           DW_AT_location              DW_OP_fbreg -248
1031 < 1><0x00000a48>    DW_TAG_subprogram
1032                       DW_AT_external              yes(1)
1033                       DW_AT_name                  "xbt_automaton_get_states"
1034                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1035                       DW_AT_decl_line             0x0000004d
1036                       DW_AT_prototyped            yes(1)
1037                       DW_AT_type                  <0x000000cd>
1038                       DW_AT_low_pc                0x004034c8
1039                       DW_AT_high_pc               0x004034da
1040                       DW_AT_frame_base            <loclist with 4 entries follows>
1041                         [ 0]<lowpc=0x00000824><highpc=0x00000825>DW_OP_breg7+8
1042                         [ 1]<lowpc=0x00000825><highpc=0x00000828>DW_OP_breg7+16
1043                         [ 2]<lowpc=0x00000828><highpc=0x00000835>DW_OP_breg6+16
1044                         [ 3]<lowpc=0x00000835><highpc=0x00000836>DW_OP_breg7+8
1045                       DW_AT_sibling               <0x00000a7a>
1046 < 2><0x00000a6d>      DW_TAG_formal_parameter
1047                         DW_AT_name                  "a"
1048                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1049                         DW_AT_decl_line             0x0000004d
1050                         DW_AT_type                  <0x00000433>
1051                         DW_AT_location              DW_OP_fbreg -24
1052 < 1><0x00000a7a>    DW_TAG_subprogram
1053                       DW_AT_external              yes(1)
1054                       DW_AT_name                  "xbt_automaton_get_transitions"
1055                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1056                       DW_AT_decl_line             0x00000051
1057                       DW_AT_prototyped            yes(1)
1058                       DW_AT_type                  <0x000000cd>
1059                       DW_AT_low_pc                0x004034da
1060                       DW_AT_high_pc               0x004034ec
1061                       DW_AT_frame_base            <loclist with 4 entries follows>
1062                         [ 0]<lowpc=0x00000836><highpc=0x00000837>DW_OP_breg7+8
1063                         [ 1]<lowpc=0x00000837><highpc=0x0000083a>DW_OP_breg7+16
1064                         [ 2]<lowpc=0x0000083a><highpc=0x00000847>DW_OP_breg6+16
1065                         [ 3]<lowpc=0x00000847><highpc=0x00000848>DW_OP_breg7+8
1066                       DW_AT_sibling               <0x00000aac>
1067 < 2><0x00000a9f>      DW_TAG_formal_parameter
1068                         DW_AT_name                  "a"
1069                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1070                         DW_AT_decl_line             0x00000051
1071                         DW_AT_type                  <0x00000433>
1072                         DW_AT_location              DW_OP_fbreg -24
1073 < 1><0x00000aac>    DW_TAG_subprogram
1074                       DW_AT_external              yes(1)
1075                       DW_AT_name                  "xbt_automaton_get_transition"
1076                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1077                       DW_AT_decl_line             0x00000055
1078                       DW_AT_prototyped            yes(1)
1079                       DW_AT_type                  <0x00000502>
1080                       DW_AT_low_pc                0x004034ec
1081                       DW_AT_high_pc               0x00403567
1082                       DW_AT_frame_base            <loclist with 4 entries follows>
1083                         [ 0]<lowpc=0x00000848><highpc=0x00000849>DW_OP_breg7+8
1084                         [ 1]<lowpc=0x00000849><highpc=0x0000084c>DW_OP_breg7+16
1085                         [ 2]<lowpc=0x0000084c><highpc=0x000008c2>DW_OP_breg6+16
1086                         [ 3]<lowpc=0x000008c2><highpc=0x000008c3>DW_OP_breg7+8
1087                       DW_AT_sibling               <0x00000b16>
1088 < 2><0x00000ad1>      DW_TAG_formal_parameter
1089                         DW_AT_name                  "a"
1090                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1091                         DW_AT_decl_line             0x00000055
1092                         DW_AT_type                  <0x00000433>
1093                         DW_AT_location              DW_OP_fbreg -40
1094 < 2><0x00000add>      DW_TAG_formal_parameter
1095                         DW_AT_name                  "src"
1096                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1097                         DW_AT_decl_line             0x00000055
1098                         DW_AT_type                  <0x000003dd>
1099                         DW_AT_location              DW_OP_fbreg -48
1100 < 2><0x00000aeb>      DW_TAG_formal_parameter
1101                         DW_AT_name                  "dst"
1102                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1103                         DW_AT_decl_line             0x00000055
1104                         DW_AT_type                  <0x000003dd>
1105                         DW_AT_location              DW_OP_fbreg -56
1106 < 2><0x00000af9>      DW_TAG_variable
1107                         DW_AT_name                  "transition"
1108                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1109                         DW_AT_decl_line             0x00000056
1110                         DW_AT_type                  <0x00000502>
1111                         DW_AT_location              DW_OP_fbreg -24
1112 < 2><0x00000b07>      DW_TAG_variable
1113                         DW_AT_name                  "cursor"
1114                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1115                         DW_AT_decl_line             0x00000057
1116                         DW_AT_type                  <0x0000004a>
1117                         DW_AT_location              DW_OP_fbreg -28
1118 < 1><0x00000b16>    DW_TAG_subprogram
1119                       DW_AT_external              yes(1)
1120                       DW_AT_name                  "xbt_automaton_free_automaton"
1121                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1122                       DW_AT_decl_line             0x0000005f
1123                       DW_AT_prototyped            yes(1)
1124                       DW_AT_low_pc                0x00403567
1125                       DW_AT_high_pc               0x00403708
1126                       DW_AT_frame_base            <loclist with 4 entries follows>
1127                         [ 0]<lowpc=0x000008c3><highpc=0x000008c4>DW_OP_breg7+8
1128                         [ 1]<lowpc=0x000008c4><highpc=0x000008c7>DW_OP_breg7+16
1129                         [ 2]<lowpc=0x000008c7><highpc=0x00000a63>DW_OP_breg6+16
1130                         [ 3]<lowpc=0x00000a63><highpc=0x00000a64>DW_OP_breg7+8
1131                       DW_AT_sibling               <0x00000b7c>
1132 < 2><0x00000b37>      DW_TAG_formal_parameter
1133                         DW_AT_name                  "a"
1134                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1135                         DW_AT_decl_line             0x0000005f
1136                         DW_AT_type                  <0x00000433>
1137                         DW_AT_location              DW_OP_fbreg -56
1138 < 2><0x00000b43>      DW_TAG_formal_parameter
1139                         DW_AT_name                  "transition_free_function"
1140                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1141                         DW_AT_decl_line             0x0000005f
1142                         DW_AT_type                  <0x000000a9>
1143                         DW_AT_location              DW_OP_fbreg -64
1144 < 2><0x00000b51>      DW_TAG_variable
1145                         DW_AT_name                  "cursor"
1146                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1147                         DW_AT_decl_line             0x00000060
1148                         DW_AT_type                  <0x0000004a>
1149                         DW_AT_location              DW_OP_fbreg -20
1150 < 2><0x00000b5f>      DW_TAG_variable
1151                         DW_AT_name                  "state"
1152                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1153                         DW_AT_decl_line             0x00000061
1154                         DW_AT_type                  <0x000003dd>
1155                         DW_AT_location              DW_OP_fbreg -32
1156 < 2><0x00000b6d>      DW_TAG_variable
1157                         DW_AT_name                  "transition"
1158                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1159                         DW_AT_decl_line             0x00000062
1160                         DW_AT_type                  <0x00000502>
1161                         DW_AT_location              DW_OP_fbreg -40
1162 < 1><0x00000b7c>    DW_TAG_subprogram
1163                       DW_AT_external              yes(1)
1164                       DW_AT_name                  "xbt_automaton_free_state"
1165                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1166                       DW_AT_decl_line             0x0000007b
1167                       DW_AT_prototyped            yes(1)
1168                       DW_AT_low_pc                0x00403708
1169                       DW_AT_high_pc               0x0040384e
1170                       DW_AT_frame_base            <loclist with 4 entries follows>
1171                         [ 0]<lowpc=0x00000a64><highpc=0x00000a65>DW_OP_breg7+8
1172                         [ 1]<lowpc=0x00000a65><highpc=0x00000a68>DW_OP_breg7+16
1173                         [ 2]<lowpc=0x00000a68><highpc=0x00000ba9>DW_OP_breg6+16
1174                         [ 3]<lowpc=0x00000ba9><highpc=0x00000baa>DW_OP_breg7+8
1175                       DW_AT_sibling               <0x00000c0b>
1176 < 2><0x00000b9d>      DW_TAG_formal_parameter
1177                         DW_AT_name                  "a"
1178                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1179                         DW_AT_decl_line             0x0000007b
1180                         DW_AT_type                  <0x00000433>
1181                         DW_AT_location              DW_OP_fbreg -72
1182 < 2><0x00000baa>      DW_TAG_formal_parameter
1183                         DW_AT_name                  "s"
1184                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1185                         DW_AT_decl_line             0x0000007b
1186                         DW_AT_type                  <0x000003dd>
1187                         DW_AT_location              DW_OP_fbreg -80
1188 < 2><0x00000bb7>      DW_TAG_formal_parameter
1189                         DW_AT_name                  "transition_free_function"
1190                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1191                         DW_AT_decl_line             0x0000007b
1192                         DW_AT_type                  <0x000000a9>
1193                         DW_AT_location              DW_OP_fbreg -88
1194 < 2><0x00000bc6>      DW_TAG_variable
1195                         DW_AT_name                  "nbr"
1196                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1197                         DW_AT_decl_line             0x0000007c
1198                         DW_AT_type                  <0x0000003c>
1199                         DW_AT_location              DW_OP_fbreg -32
1200 < 2><0x00000bd4>      DW_TAG_variable
1201                         DW_AT_name                  "i"
1202                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1203                         DW_AT_decl_line             0x0000007d
1204                         DW_AT_type                  <0x0000003c>
1205                         DW_AT_location              DW_OP_fbreg -24
1206 < 2><0x00000be0>      DW_TAG_variable
1207                         DW_AT_name                  "cursor"
1208                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1209                         DW_AT_decl_line             0x0000007e
1210                         DW_AT_type                  <0x0000004a>
1211                         DW_AT_location              DW_OP_fbreg -36
1212 < 2><0x00000bee>      DW_TAG_variable
1213                         DW_AT_name                  "state"
1214                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1215                         DW_AT_decl_line             0x0000007f
1216                         DW_AT_type                  <0x000003dd>
1217                         DW_AT_location              DW_OP_fbreg -48
1218 < 2><0x00000bfc>      DW_TAG_variable
1219                         DW_AT_name                  "transition"
1220                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1221                         DW_AT_decl_line             0x00000080
1222                         DW_AT_type                  <0x00000502>
1223                         DW_AT_location              DW_OP_fbreg -56
1224 < 1><0x00000c0b>    DW_TAG_subprogram
1225                       DW_AT_external              yes(1)
1226                       DW_AT_name                  "xbt_automaton_free_transition"
1227                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1228                       DW_AT_decl_line             0x00000099
1229                       DW_AT_prototyped            yes(1)
1230                       DW_AT_low_pc                0x0040384e
1231                       DW_AT_high_pc               0x00403987
1232                       DW_AT_frame_base            <loclist with 4 entries follows>
1233                         [ 0]<lowpc=0x00000baa><highpc=0x00000bab>DW_OP_breg7+8
1234                         [ 1]<lowpc=0x00000bab><highpc=0x00000bae>DW_OP_breg7+16
1235                         [ 2]<lowpc=0x00000bae><highpc=0x00000ce2>DW_OP_breg6+16
1236                         [ 3]<lowpc=0x00000ce2><highpc=0x00000ce3>DW_OP_breg7+8
1237                       DW_AT_sibling               <0x00000c7d>
1238 < 2><0x00000c2c>      DW_TAG_formal_parameter
1239                         DW_AT_name                  "a"
1240                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1241                         DW_AT_decl_line             0x00000099
1242                         DW_AT_type                  <0x00000433>
1243                         DW_AT_location              DW_OP_fbreg -40
1244 < 2><0x00000c38>      DW_TAG_formal_parameter
1245                         DW_AT_name                  "t"
1246                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1247                         DW_AT_decl_line             0x00000099
1248                         DW_AT_type                  <0x00000502>
1249                         DW_AT_location              DW_OP_fbreg -48
1250 < 2><0x00000c44>      DW_TAG_formal_parameter
1251                         DW_AT_name                  "transition_free_function"
1252                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1253                         DW_AT_decl_line             0x00000099
1254                         DW_AT_type                  <0x000000a9>
1255                         DW_AT_location              DW_OP_fbreg -56
1256 < 2><0x00000c52>      DW_TAG_variable
1257                         DW_AT_name                  "index"
1258                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1259                         DW_AT_decl_line             0x0000009a
1260                         DW_AT_type                  <0x00000043>
1261                         DW_AT_location              DW_OP_fbreg -20
1262 < 2><0x00000c60>      DW_TAG_variable
1263                         DW_AT_name                  "cursor"
1264                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1265                         DW_AT_decl_line             0x0000009b
1266                         DW_AT_type                  <0x0000004a>
1267                         DW_AT_location              DW_OP_fbreg -24
1268 < 2><0x00000c6e>      DW_TAG_variable
1269                         DW_AT_name                  "transition"
1270                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1271                         DW_AT_decl_line             0x0000009c
1272                         DW_AT_type                  <0x00000502>
1273                         DW_AT_location              DW_OP_fbreg -32
1274 < 1><0x00000c7d>    DW_TAG_subprogram
1275                       DW_AT_external              yes(1)
1276                       DW_AT_name                  "xbt_automaton_transition_get_source"
1277                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1278                       DW_AT_decl_line             0x000000ae
1279                       DW_AT_prototyped            yes(1)
1280                       DW_AT_type                  <0x000003dd>
1281                       DW_AT_low_pc                0x00403987
1282                       DW_AT_high_pc               0x00403998
1283                       DW_AT_frame_base            <loclist with 4 entries follows>
1284                         [ 0]<lowpc=0x00000ce3><highpc=0x00000ce4>DW_OP_breg7+8
1285                         [ 1]<lowpc=0x00000ce4><highpc=0x00000ce7>DW_OP_breg7+16
1286                         [ 2]<lowpc=0x00000ce7><highpc=0x00000cf3>DW_OP_breg6+16
1287                         [ 3]<lowpc=0x00000cf3><highpc=0x00000cf4>DW_OP_breg7+8
1288                       DW_AT_sibling               <0x00000caf>
1289 < 2><0x00000ca2>      DW_TAG_formal_parameter
1290                         DW_AT_name                  "t"
1291                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1292                         DW_AT_decl_line             0x000000ae
1293                         DW_AT_type                  <0x00000502>
1294                         DW_AT_location              DW_OP_fbreg -24
1295 < 1><0x00000caf>    DW_TAG_subprogram
1296                       DW_AT_external              yes(1)
1297                       DW_AT_name                  "xbt_automaton_transition_get_destination"
1298                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1299                       DW_AT_decl_line             0x000000b2
1300                       DW_AT_prototyped            yes(1)
1301                       DW_AT_type                  <0x000003dd>
1302                       DW_AT_low_pc                0x00403998
1303                       DW_AT_high_pc               0x004039aa
1304                       DW_AT_frame_base            <loclist with 4 entries follows>
1305                         [ 0]<lowpc=0x00000cf4><highpc=0x00000cf5>DW_OP_breg7+8
1306                         [ 1]<lowpc=0x00000cf5><highpc=0x00000cf8>DW_OP_breg7+16
1307                         [ 2]<lowpc=0x00000cf8><highpc=0x00000d05>DW_OP_breg6+16
1308                         [ 3]<lowpc=0x00000d05><highpc=0x00000d06>DW_OP_breg7+8
1309                       DW_AT_sibling               <0x00000ce1>
1310 < 2><0x00000cd4>      DW_TAG_formal_parameter
1311                         DW_AT_name                  "t"
1312                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1313                         DW_AT_decl_line             0x000000b2
1314                         DW_AT_type                  <0x00000502>
1315                         DW_AT_location              DW_OP_fbreg -24
1316 < 1><0x00000ce1>    DW_TAG_subprogram
1317                       DW_AT_external              yes(1)
1318                       DW_AT_name                  "xbt_automaton_transition_set_source"
1319                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1320                       DW_AT_decl_line             0x000000b6
1321                       DW_AT_prototyped            yes(1)
1322                       DW_AT_low_pc                0x004039aa
1323                       DW_AT_high_pc               0x004039de
1324                       DW_AT_frame_base            <loclist with 4 entries follows>
1325                         [ 0]<lowpc=0x00000d06><highpc=0x00000d07>DW_OP_breg7+8
1326                         [ 1]<lowpc=0x00000d07><highpc=0x00000d0a>DW_OP_breg7+16
1327                         [ 2]<lowpc=0x00000d0a><highpc=0x00000d39>DW_OP_breg6+16
1328                         [ 3]<lowpc=0x00000d39><highpc=0x00000d3a>DW_OP_breg7+8
1329                       DW_AT_sibling               <0x00000d1d>
1330 < 2><0x00000d02>      DW_TAG_formal_parameter
1331                         DW_AT_name                  "t"
1332                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1333                         DW_AT_decl_line             0x000000b6
1334                         DW_AT_type                  <0x00000502>
1335                         DW_AT_location              DW_OP_fbreg -24
1336 < 2><0x00000d0e>      DW_TAG_formal_parameter
1337                         DW_AT_name                  "src"
1338                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1339                         DW_AT_decl_line             0x000000b6
1340                         DW_AT_type                  <0x000003dd>
1341                         DW_AT_location              DW_OP_fbreg -32
1342 < 1><0x00000d1d>    DW_TAG_subprogram
1343                       DW_AT_external              yes(1)
1344                       DW_AT_name                  "xbt_automaton_transition_set_destination"
1345                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1346                       DW_AT_decl_line             0x000000bb
1347                       DW_AT_prototyped            yes(1)
1348                       DW_AT_low_pc                0x004039de
1349                       DW_AT_high_pc               0x00403a13
1350                       DW_AT_frame_base            <loclist with 4 entries follows>
1351                         [ 0]<lowpc=0x00000d3a><highpc=0x00000d3b>DW_OP_breg7+8
1352                         [ 1]<lowpc=0x00000d3b><highpc=0x00000d3e>DW_OP_breg7+16
1353                         [ 2]<lowpc=0x00000d3e><highpc=0x00000d6e>DW_OP_breg6+16
1354                         [ 3]<lowpc=0x00000d6e><highpc=0x00000d6f>DW_OP_breg7+8
1355                       DW_AT_sibling               <0x00000d59>
1356 < 2><0x00000d3e>      DW_TAG_formal_parameter
1357                         DW_AT_name                  "t"
1358                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1359                         DW_AT_decl_line             0x000000bb
1360                         DW_AT_type                  <0x00000502>
1361                         DW_AT_location              DW_OP_fbreg -24
1362 < 2><0x00000d4a>      DW_TAG_formal_parameter
1363                         DW_AT_name                  "dst"
1364                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1365                         DW_AT_decl_line             0x000000bb
1366                         DW_AT_type                  <0x000003dd>
1367                         DW_AT_location              DW_OP_fbreg -32
1368 < 1><0x00000d59>    DW_TAG_subprogram
1369                       DW_AT_external              yes(1)
1370                       DW_AT_name                  "xbt_automaton_state_get_out_transitions"
1371                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1372                       DW_AT_decl_line             0x000000c0
1373                       DW_AT_prototyped            yes(1)
1374                       DW_AT_type                  <0x000000cd>
1375                       DW_AT_low_pc                0x00403a13
1376                       DW_AT_high_pc               0x00403a25
1377                       DW_AT_frame_base            <loclist with 4 entries follows>
1378                         [ 0]<lowpc=0x00000d6f><highpc=0x00000d70>DW_OP_breg7+8
1379                         [ 1]<lowpc=0x00000d70><highpc=0x00000d73>DW_OP_breg7+16
1380                         [ 2]<lowpc=0x00000d73><highpc=0x00000d80>DW_OP_breg6+16
1381                         [ 3]<lowpc=0x00000d80><highpc=0x00000d81>DW_OP_breg7+8
1382                       DW_AT_sibling               <0x00000d8b>
1383 < 2><0x00000d7e>      DW_TAG_formal_parameter
1384                         DW_AT_name                  "s"
1385                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1386                         DW_AT_decl_line             0x000000c0
1387                         DW_AT_type                  <0x000003dd>
1388                         DW_AT_location              DW_OP_fbreg -24
1389 < 1><0x00000d8b>    DW_TAG_subprogram
1390                       DW_AT_external              yes(1)
1391                       DW_AT_name                  "xbt_automaton_state_get_in_transitions"
1392                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1393                       DW_AT_decl_line             0x000000c4
1394                       DW_AT_prototyped            yes(1)
1395                       DW_AT_type                  <0x000000cd>
1396                       DW_AT_low_pc                0x00403a25
1397                       DW_AT_high_pc               0x00403a37
1398                       DW_AT_frame_base            <loclist with 4 entries follows>
1399                         [ 0]<lowpc=0x00000d81><highpc=0x00000d82>DW_OP_breg7+8
1400                         [ 1]<lowpc=0x00000d82><highpc=0x00000d85>DW_OP_breg7+16
1401                         [ 2]<lowpc=0x00000d85><highpc=0x00000d92>DW_OP_breg6+16
1402                         [ 3]<lowpc=0x00000d92><highpc=0x00000d93>DW_OP_breg7+8
1403                       DW_AT_sibling               <0x00000dbd>
1404 < 2><0x00000db0>      DW_TAG_formal_parameter
1405                         DW_AT_name                  "s"
1406                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1407                         DW_AT_decl_line             0x000000c4
1408                         DW_AT_type                  <0x000003dd>
1409                         DW_AT_location              DW_OP_fbreg -24
1410 < 1><0x00000dbd>    DW_TAG_subprogram
1411                       DW_AT_external              yes(1)
1412                       DW_AT_name                  "xbt_automaton_state_exists"
1413                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1414                       DW_AT_decl_line             0x000000c8
1415                       DW_AT_prototyped            yes(1)
1416                       DW_AT_type                  <0x000003dd>
1417                       DW_AT_low_pc                0x00403a37
1418                       DW_AT_high_pc               0x00403abc
1419                       DW_AT_frame_base            <loclist with 4 entries follows>
1420                         [ 0]<lowpc=0x00000d93><highpc=0x00000d94>DW_OP_breg7+8
1421                         [ 1]<lowpc=0x00000d94><highpc=0x00000d97>DW_OP_breg7+16
1422                         [ 2]<lowpc=0x00000d97><highpc=0x00000e17>DW_OP_breg6+16
1423                         [ 3]<lowpc=0x00000e17><highpc=0x00000e18>DW_OP_breg7+8
1424                       DW_AT_sibling               <0x00000e18>
1425 < 2><0x00000de2>      DW_TAG_formal_parameter
1426                         DW_AT_name                  "a"
1427                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1428                         DW_AT_decl_line             0x000000c8
1429                         DW_AT_type                  <0x00000433>
1430                         DW_AT_location              DW_OP_fbreg -40
1431 < 2><0x00000dee>      DW_TAG_formal_parameter
1432                         DW_AT_name                  "id"
1433                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1434                         DW_AT_decl_line             0x000000c8
1435                         DW_AT_type                  <0x00000083>
1436                         DW_AT_location              DW_OP_fbreg -48
1437 < 2><0x00000dfb>      DW_TAG_variable
1438                         DW_AT_name                  "state"
1439                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1440                         DW_AT_decl_line             0x000000c9
1441                         DW_AT_type                  <0x000003dd>
1442                         DW_AT_location              DW_OP_fbreg -24
1443 < 2><0x00000e09>      DW_TAG_variable
1444                         DW_AT_name                  "cursor"
1445                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1446                         DW_AT_decl_line             0x000000ca
1447                         DW_AT_type                  <0x0000004a>
1448                         DW_AT_location              DW_OP_fbreg -28
1449 < 1><0x00000e18>    DW_TAG_subprogram
1450                       DW_AT_external              yes(1)
1451                       DW_AT_name                  "xbt_automaton_display"
1452                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1453                       DW_AT_decl_line             0x000000d2
1454                       DW_AT_prototyped            yes(1)
1455                       DW_AT_low_pc                0x00403abc
1456                       DW_AT_high_pc               0x00403c2d
1457                       DW_AT_frame_base            <loclist with 4 entries follows>
1458                         [ 0]<lowpc=0x00000e18><highpc=0x00000e19>DW_OP_breg7+8
1459                         [ 1]<lowpc=0x00000e19><highpc=0x00000e1c>DW_OP_breg7+16
1460                         [ 2]<lowpc=0x00000e1c><highpc=0x00000f88>DW_OP_breg6+16
1461                         [ 3]<lowpc=0x00000f88><highpc=0x00000f89>DW_OP_breg7+8
1462                       DW_AT_sibling               <0x00000e70>
1463 < 2><0x00000e39>      DW_TAG_formal_parameter
1464                         DW_AT_name                  "a"
1465                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1466                         DW_AT_decl_line             0x000000d2
1467                         DW_AT_type                  <0x00000433>
1468                         DW_AT_location              DW_OP_fbreg -56
1469 < 2><0x00000e45>      DW_TAG_variable
1470                         DW_AT_name                  "cursor"
1471                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1472                         DW_AT_decl_line             0x000000d3
1473                         DW_AT_type                  <0x0000004a>
1474                         DW_AT_location              DW_OP_fbreg -20
1475 < 2><0x00000e53>      DW_TAG_variable
1476                         DW_AT_name                  "state"
1477                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1478                         DW_AT_decl_line             0x000000d4
1479                         DW_AT_type                  <0x000003dd>
1480                         DW_AT_location              DW_OP_fbreg -32
1481 < 2><0x00000e61>      DW_TAG_variable
1482                         DW_AT_name                  "transition"
1483                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1484                         DW_AT_decl_line             0x000000e0
1485                         DW_AT_type                  <0x00000502>
1486                         DW_AT_location              DW_OP_fbreg -40
1487 < 1><0x00000e70>    DW_TAG_subprogram
1488                       DW_AT_external              yes(1)
1489                       DW_AT_name                  "xbt_automaton_display_exp"
1490                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1491                       DW_AT_decl_line             0x000000ea
1492                       DW_AT_prototyped            yes(1)
1493                       DW_AT_low_pc                0x00403c2d
1494                       DW_AT_high_pc               0x00403d3a
1495                       DW_AT_frame_base            <loclist with 4 entries follows>
1496                         [ 0]<lowpc=0x00000f89><highpc=0x00000f8a>DW_OP_breg7+8
1497                         [ 1]<lowpc=0x00000f8a><highpc=0x00000f8d>DW_OP_breg7+16
1498                         [ 2]<lowpc=0x00000f8d><highpc=0x00001095>DW_OP_breg6+16
1499                         [ 3]<lowpc=0x00001095><highpc=0x00001096>DW_OP_breg7+8
1500                       DW_AT_sibling               <0x00000ea0>
1501 < 2><0x00000e91>      DW_TAG_formal_parameter
1502                         DW_AT_name                  "label"
1503                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1504                         DW_AT_decl_line             0x000000ea
1505                         DW_AT_type                  <0x000004c0>
1506                         DW_AT_location              DW_OP_fbreg -24
1507 < 1><0x00000ea0>    DW_TAG_subprogram
1508                       DW_AT_external              yes(1)
1509                       DW_AT_name                  "xbt_automaton_get_current_state"
1510                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1511                       DW_AT_decl_line             0x0000010a
1512                       DW_AT_prototyped            yes(1)
1513                       DW_AT_type                  <0x000003dd>
1514                       DW_AT_low_pc                0x00403d3a
1515                       DW_AT_high_pc               0x00403d4c
1516                       DW_AT_frame_base            <loclist with 4 entries follows>
1517                         [ 0]<lowpc=0x00001096><highpc=0x00001097>DW_OP_breg7+8
1518                         [ 1]<lowpc=0x00001097><highpc=0x0000109a>DW_OP_breg7+16
1519                         [ 2]<lowpc=0x0000109a><highpc=0x000010a7>DW_OP_breg6+16
1520                         [ 3]<lowpc=0x000010a7><highpc=0x000010a8>DW_OP_breg7+8
1521                       DW_AT_sibling               <0x00000ed4>
1522 < 2><0x00000ec6>      DW_TAG_formal_parameter
1523                         DW_AT_name                  "a"
1524                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1525                         DW_AT_decl_line             0x0000010a
1526                         DW_AT_type                  <0x00000433>
1527                         DW_AT_location              DW_OP_fbreg -24
1528 < 1><0x00000ed4>    DW_TAG_subprogram
1529                       DW_AT_external              yes(1)
1530                       DW_AT_name                  "xbt_new_propositional_symbol"
1531                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1532                       DW_AT_decl_line             0x0000010e
1533                       DW_AT_prototyped            yes(1)
1534                       DW_AT_type                  <0x0000053c>
1535                       DW_AT_low_pc                0x00403d4c
1536                       DW_AT_high_pc               0x00403e5a
1537                       DW_AT_frame_base            <loclist with 4 entries follows>
1538                         [ 0]<lowpc=0x000010a8><highpc=0x000010a9>DW_OP_breg7+8
1539                         [ 1]<lowpc=0x000010a9><highpc=0x000010ac>DW_OP_breg7+16
1540                         [ 2]<lowpc=0x000010ac><highpc=0x000011b5>DW_OP_breg6+16
1541                         [ 3]<lowpc=0x000011b5><highpc=0x000011b6>DW_OP_breg7+8
1542                       DW_AT_sibling               <0x00000fb4>
1543 < 2><0x00000efa>      DW_TAG_formal_parameter
1544                         DW_AT_name                  "a"
1545                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1546                         DW_AT_decl_line             0x0000010e
1547                         DW_AT_type                  <0x00000433>
1548                         DW_AT_location              DW_OP_fbreg -152
1549 < 2><0x00000f08>      DW_TAG_formal_parameter
1550                         DW_AT_name                  "id"
1551                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1552                         DW_AT_decl_line             0x0000010e
1553                         DW_AT_type                  <0x0000009e>
1554                         DW_AT_location              DW_OP_fbreg -160
1555 < 2><0x00000f17>      DW_TAG_formal_parameter
1556                         DW_AT_name                  "fct"
1557                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1558                         DW_AT_decl_line             0x0000010e
1559                         DW_AT_type                  <0x00000081>
1560                         DW_AT_location              DW_OP_fbreg -168
1561 < 2><0x00000f27>      DW_TAG_variable
1562                         DW_AT_name                  "prop_symb"
1563                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1564                         DW_AT_decl_line             0x0000010f
1565                         DW_AT_type                  <0x0000053c>
1566                         DW_AT_location              DW_OP_fbreg -56
1567 < 2><0x00000f36>      DW_TAG_inlined_subroutine
1568                         DW_AT_abstract_origin       <0x0000054d>
1569                         DW_AT_low_pc                0x00403d7d
1570                         DW_AT_high_pc               0x00403e0a
1571                         DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1572                         DW_AT_call_line             0x00000110
1573 < 3><0x00000f4e>        DW_TAG_formal_parameter
1574                           DW_AT_abstract_origin       <0x0000055e>
1575                           DW_AT_location              DW_OP_fbreg -40
1576 < 3><0x00000f56>        DW_TAG_lexical_block
1577                           DW_AT_low_pc                0x00403d7d
1578                           DW_AT_high_pc               0x00403e0a
1579 < 4><0x00000f67>          DW_TAG_variable
1580                             DW_AT_abstract_origin       <0x00000567>
1581                             DW_AT_location              DW_OP_fbreg -48
1582 < 4><0x00000f6f>          DW_TAG_variable
1583                             DW_AT_abstract_origin       <0x00000572>
1584                             DW_AT_location              DW_OP_addr 0x00407828
1585 < 4><0x00000f7e>          DW_TAG_lexical_block
1586                             DW_AT_low_pc                0x00403d99
1587                             DW_AT_high_pc               0x00403e06
1588 < 5><0x00000f8f>            DW_TAG_variable
1589                               DW_AT_abstract_origin       <0x00000581>
1590                               DW_AT_declaration           yes(1)
1591 < 5><0x00000f95>            DW_TAG_lexical_block
1592                               DW_AT_low_pc                0x00403dc1
1593                               DW_AT_high_pc               0x00403e01
1594 < 6><0x00000fa6>              DW_TAG_variable
1595                                 DW_AT_abstract_origin       <0x0000058f>
1596                                 DW_AT_location              DW_OP_fbreg -144
1597 < 1><0x00000fb4>    DW_TAG_subprogram
1598                       DW_AT_external              yes(1)
1599                       DW_AT_name                  "automaton_state_compare"
1600                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1601                       DW_AT_decl_line             0x00000117
1602                       DW_AT_prototyped            yes(1)
1603                       DW_AT_type                  <0x00000043>
1604                       DW_AT_low_pc                0x00403e5a
1605                       DW_AT_high_pc               0x00403eae
1606                       DW_AT_frame_base            <loclist with 4 entries follows>
1607                         [ 0]<lowpc=0x000011b6><highpc=0x000011b7>DW_OP_breg7+8
1608                         [ 1]<lowpc=0x000011b7><highpc=0x000011ba>DW_OP_breg7+16
1609                         [ 2]<lowpc=0x000011ba><highpc=0x00001209>DW_OP_breg6+16
1610                         [ 3]<lowpc=0x00001209><highpc=0x0000120a>DW_OP_breg7+8
1611                       DW_AT_sibling               <0x00000ff7>
1612 < 2><0x00000fda>      DW_TAG_formal_parameter
1613                         DW_AT_name                  "s1"
1614                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1615                         DW_AT_decl_line             0x00000117
1616                         DW_AT_type                  <0x000003dd>
1617                         DW_AT_location              DW_OP_fbreg -24
1618 < 2><0x00000fe8>      DW_TAG_formal_parameter
1619                         DW_AT_name                  "s2"
1620                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1621                         DW_AT_decl_line             0x00000117
1622                         DW_AT_type                  <0x000003dd>
1623                         DW_AT_location              DW_OP_fbreg -32
1624 < 1><0x00000ff7>    DW_TAG_subprogram
1625                       DW_AT_external              yes(1)
1626                       DW_AT_name                  "automaton_transition_compare"
1627                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1628                       DW_AT_decl_line             0x00000125
1629                       DW_AT_prototyped            yes(1)
1630                       DW_AT_type                  <0x00000043>
1631                       DW_AT_low_pc                0x00403eae
1632                       DW_AT_high_pc               0x00403f35
1633                       DW_AT_frame_base            <loclist with 4 entries follows>
1634                         [ 0]<lowpc=0x0000120a><highpc=0x0000120b>DW_OP_breg7+8
1635                         [ 1]<lowpc=0x0000120b><highpc=0x0000120e>DW_OP_breg7+16
1636                         [ 2]<lowpc=0x0000120e><highpc=0x00001290>DW_OP_breg6+16
1637                         [ 3]<lowpc=0x00001290><highpc=0x00001291>DW_OP_breg7+8
1638                       DW_AT_sibling               <0x0000103a>
1639 < 2><0x0000101d>      DW_TAG_formal_parameter
1640                         DW_AT_name                  "t1"
1641                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1642                         DW_AT_decl_line             0x00000125
1643                         DW_AT_type                  <0x00000097>
1644                         DW_AT_location              DW_OP_fbreg -24
1645 < 2><0x0000102b>      DW_TAG_formal_parameter
1646                         DW_AT_name                  "t2"
1647                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1648                         DW_AT_decl_line             0x00000125
1649                         DW_AT_type                  <0x00000097>
1650                         DW_AT_location              DW_OP_fbreg -32
1651 < 1><0x0000103a>    DW_TAG_subprogram
1652                       DW_AT_external              yes(1)
1653                       DW_AT_name                  "automaton_label_transition_compare"
1654                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1655                       DW_AT_decl_line             0x00000134
1656                       DW_AT_prototyped            yes(1)
1657                       DW_AT_type                  <0x00000043>
1658                       DW_AT_low_pc                0x00403f35
1659                       DW_AT_high_pc               0x00404005
1660                       DW_AT_frame_base            <loclist with 4 entries follows>
1661                         [ 0]<lowpc=0x00001291><highpc=0x00001292>DW_OP_breg7+8
1662                         [ 1]<lowpc=0x00001292><highpc=0x00001295>DW_OP_breg7+16
1663                         [ 2]<lowpc=0x00001295><highpc=0x00001360>DW_OP_breg6+16
1664                         [ 3]<lowpc=0x00001360><highpc=0x00001361>DW_OP_breg7+8
1665                       DW_AT_sibling               <0x0000107d>
1666 < 2><0x00001060>      DW_TAG_formal_parameter
1667                         DW_AT_name                  "l1"
1668                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1669                         DW_AT_decl_line             0x00000134
1670                         DW_AT_type                  <0x000004c0>
1671                         DW_AT_location              DW_OP_fbreg -24
1672 < 2><0x0000106e>      DW_TAG_formal_parameter
1673                         DW_AT_name                  "l2"
1674                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1675                         DW_AT_decl_line             0x00000134
1676                         DW_AT_type                  <0x000004c0>
1677                         DW_AT_location              DW_OP_fbreg -32
1678 < 1><0x0000107d>    DW_TAG_subprogram
1679                       DW_AT_external              yes(1)
1680                       DW_AT_name                  "propositional_symbols_compare_value"
1681                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1682                       DW_AT_decl_line             0x00000158
1683                       DW_AT_prototyped            yes(1)
1684                       DW_AT_type                  <0x00000043>
1685                       DW_AT_low_pc                0x00404005
1686                       DW_AT_high_pc               0x00404083
1687                       DW_AT_frame_base            <loclist with 4 entries follows>
1688                         [ 0]<lowpc=0x00001361><highpc=0x00001362>DW_OP_breg7+8
1689                         [ 1]<lowpc=0x00001362><highpc=0x00001365>DW_OP_breg7+16
1690                         [ 2]<lowpc=0x00001365><highpc=0x000013de>DW_OP_breg6+16
1691                         [ 3]<lowpc=0x000013de><highpc=0x000013df>DW_OP_breg7+8
1692                       DW_AT_sibling               <0x000010fc>
1693 < 2><0x000010a3>      DW_TAG_formal_parameter
1694                         DW_AT_name                  "s1"
1695                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1696                         DW_AT_decl_line             0x00000158
1697                         DW_AT_type                  <0x000000cd>
1698                         DW_AT_location              DW_OP_fbreg -56
1699 < 2><0x000010b1>      DW_TAG_formal_parameter
1700                         DW_AT_name                  "s2"
1701                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1702                         DW_AT_decl_line             0x00000158
1703                         DW_AT_type                  <0x000000cd>
1704                         DW_AT_location              DW_OP_fbreg -64
1705 < 2><0x000010bf>      DW_TAG_variable
1706                         DW_AT_name                  "iptr1"
1707                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1708                         DW_AT_decl_line             0x0000015a
1709                         DW_AT_type                  <0x00000051>
1710                         DW_AT_location              DW_OP_fbreg -32
1711 < 2><0x000010ce>      DW_TAG_variable
1712                         DW_AT_name                  "iptr2"
1713                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1714                         DW_AT_decl_line             0x0000015a
1715                         DW_AT_type                  <0x00000051>
1716                         DW_AT_location              DW_OP_fbreg -40
1717 < 2><0x000010dd>      DW_TAG_variable
1718                         DW_AT_name                  "cursor"
1719                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1720                         DW_AT_decl_line             0x0000015b
1721                         DW_AT_type                  <0x0000004a>
1722                         DW_AT_location              DW_OP_fbreg -20
1723 < 2><0x000010ec>      DW_TAG_variable
1724                         DW_AT_name                  "nb_elem"
1725                         DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
1726                         DW_AT_decl_line             0x0000015c
1727                         DW_AT_type                  <0x0000004a>
1728                         DW_AT_location              DW_OP_fbreg -24
1729 < 1><0x000010fc>    DW_TAG_variable
1730                       DW_AT_name                  "_simgrid_log_category__xbt"
1731                       DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
1732                       DW_AT_decl_line             0x0000007e
1733                       DW_AT_type                  <0x000002cf>
1734                       DW_AT_external              yes(1)
1735                       DW_AT_declaration           yes(1)
1736
1737 COMPILE_UNIT<header overall offset = 0x0000110a>:
1738 < 0><0x0000000b>  DW_TAG_compile_unit
1739                     DW_AT_producer              "GNU C 4.6.3"
1740                     DW_AT_language              DW_LANG_C89
1741                     DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c"
1742                     DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
1743                     DW_AT_low_pc                0x00404084
1744                     DW_AT_high_pc               0x004045a4
1745                     DW_AT_stmt_list             0x0000068f
1746                     DW_AT_macro_info            34300
1747
1748 LOCAL_SYMBOLS:
1749 < 1><0x00000031>    DW_TAG_base_type
1750                       DW_AT_byte_size             0x00000008
1751                       DW_AT_encoding              DW_ATE_unsigned
1752                       DW_AT_name                  "long unsigned int"
1753 < 1><0x00000038>    DW_TAG_base_type
1754                       DW_AT_byte_size             0x00000004
1755                       DW_AT_encoding              DW_ATE_signed
1756                       DW_AT_name                  "int"
1757 < 1><0x0000003f>    DW_TAG_base_type
1758                       DW_AT_byte_size             0x00000004
1759                       DW_AT_encoding              DW_ATE_unsigned
1760                       DW_AT_name                  "unsigned int"
1761 < 1><0x00000046>    DW_TAG_base_type
1762                       DW_AT_byte_size             0x00000008
1763                       DW_AT_encoding              DW_ATE_signed
1764                       DW_AT_name                  "long int"
1765 < 1><0x0000004d>    DW_TAG_base_type
1766                       DW_AT_byte_size             0x00000008
1767                       DW_AT_encoding              DW_ATE_signed
1768                       DW_AT_name                  "long long int"
1769 < 1><0x00000054>    DW_TAG_base_type
1770                       DW_AT_byte_size             0x00000001
1771                       DW_AT_encoding              DW_ATE_unsigned_char
1772                       DW_AT_name                  "unsigned char"
1773 < 1><0x0000005b>    DW_TAG_base_type
1774                       DW_AT_byte_size             0x00000002
1775                       DW_AT_encoding              DW_ATE_unsigned
1776                       DW_AT_name                  "short unsigned int"
1777 < 1><0x00000062>    DW_TAG_base_type
1778                       DW_AT_byte_size             0x00000001
1779                       DW_AT_encoding              DW_ATE_signed_char
1780                       DW_AT_name                  "signed char"
1781 < 1><0x00000069>    DW_TAG_base_type
1782                       DW_AT_byte_size             0x00000002
1783                       DW_AT_encoding              DW_ATE_signed
1784                       DW_AT_name                  "short int"
1785 < 1><0x00000070>    DW_TAG_pointer_type
1786                       DW_AT_byte_size             0x00000008
1787 < 1><0x00000072>    DW_TAG_pointer_type
1788                       DW_AT_byte_size             0x00000008
1789                       DW_AT_type                  <0x00000078>
1790 < 1><0x00000078>    DW_TAG_base_type
1791                       DW_AT_byte_size             0x00000001
1792                       DW_AT_encoding              DW_ATE_signed_char
1793                       DW_AT_name                  "char"
1794 < 1><0x0000007f>    DW_TAG_base_type
1795                       DW_AT_byte_size             0x00000008
1796                       DW_AT_encoding              DW_ATE_unsigned
1797                       DW_AT_name                  "long long unsigned int"
1798 < 1><0x00000086>    DW_TAG_pointer_type
1799                       DW_AT_byte_size             0x00000008
1800                       DW_AT_type                  <0x0000008c>
1801 < 1><0x0000008c>    DW_TAG_const_type
1802                       DW_AT_type                  <0x00000078>
1803 < 1><0x00000091>    DW_TAG_typedef
1804                       DW_AT_name                  "void_f_pvoid_t"
1805                       DW_AT_decl_file             0x00000002 /home/marion/Simgrid/include/xbt/function_types.h
1806                       DW_AT_decl_line             0x00000011
1807                       DW_AT_type                  <0x0000009c>
1808 < 1><0x0000009c>    DW_TAG_pointer_type
1809                       DW_AT_byte_size             0x00000008
1810                       DW_AT_type                  <0x000000a2>
1811 < 1><0x000000a2>    DW_TAG_subroutine_type
1812                       DW_AT_prototyped            yes(1)
1813                       DW_AT_sibling               <0x000000ae>
1814 < 2><0x000000a8>      DW_TAG_formal_parameter
1815                         DW_AT_type                  <0x00000070>
1816 < 1><0x000000ae>    DW_TAG_base_type
1817                       DW_AT_byte_size             0x00000008
1818                       DW_AT_encoding              DW_ATE_float
1819                       DW_AT_name                  "double"
1820 < 1><0x000000b5>    DW_TAG_typedef
1821                       DW_AT_name                  "xbt_dynar_t"
1822                       DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1823                       DW_AT_decl_line             0x0000003e
1824                       DW_AT_type                  <0x000000c0>
1825 < 1><0x000000c0>    DW_TAG_pointer_type
1826                       DW_AT_byte_size             0x00000008
1827                       DW_AT_type                  <0x000000c6>
1828 < 1><0x000000c6>    DW_TAG_structure_type
1829                       DW_AT_name                  "xbt_dynar_s"
1830                       DW_AT_byte_size             0x00000030
1831                       DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1832                       DW_AT_decl_line             0x000000dc
1833                       DW_AT_sibling               <0x00000127>
1834 < 2><0x000000d2>      DW_TAG_member
1835                         DW_AT_name                  "size"
1836                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1837                         DW_AT_decl_line             0x000000dd
1838                         DW_AT_type                  <0x00000031>
1839                         DW_AT_data_member_location  DW_OP_plus_uconst 0
1840 < 2><0x000000e0>      DW_TAG_member
1841                         DW_AT_name                  "used"
1842                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1843                         DW_AT_decl_line             0x000000de
1844                         DW_AT_type                  <0x00000031>
1845                         DW_AT_data_member_location  DW_OP_plus_uconst 8
1846 < 2><0x000000ee>      DW_TAG_member
1847                         DW_AT_name                  "elmsize"
1848                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1849                         DW_AT_decl_line             0x000000df
1850                         DW_AT_type                  <0x00000031>
1851                         DW_AT_data_member_location  DW_OP_plus_uconst 16
1852 < 2><0x000000fc>      DW_TAG_member
1853                         DW_AT_name                  "data"
1854                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1855                         DW_AT_decl_line             0x000000e0
1856                         DW_AT_type                  <0x00000070>
1857                         DW_AT_data_member_location  DW_OP_plus_uconst 24
1858 < 2><0x0000010a>      DW_TAG_member
1859                         DW_AT_name                  "free_f"
1860                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1861                         DW_AT_decl_line             0x000000e1
1862                         DW_AT_type                  <0x00000091>
1863                         DW_AT_data_member_location  DW_OP_plus_uconst 32
1864 < 2><0x00000118>      DW_TAG_member
1865                         DW_AT_name                  "mutex"
1866                         DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
1867                         DW_AT_decl_line             0x000000e2
1868                         DW_AT_type                  <0x00000127>
1869                         DW_AT_data_member_location  DW_OP_plus_uconst 40
1870 < 1><0x00000127>    DW_TAG_typedef
1871                       DW_AT_name                  "xbt_mutex_t"
1872                       DW_AT_decl_file             0x00000004 /home/marion/Simgrid/include/xbt/synchro_core.h
1873                       DW_AT_decl_line             0x0000004a
1874                       DW_AT_type                  <0x00000132>
1875 < 1><0x00000132>    DW_TAG_pointer_type
1876                       DW_AT_byte_size             0x00000008
1877                       DW_AT_type                  <0x00000138>
1878 < 1><0x00000138>    DW_TAG_structure_type
1879                       DW_AT_name                  "s_xbt_mutex_"
1880                       DW_AT_declaration           yes(1)
1881 < 1><0x0000013e>    DW_TAG_typedef
1882                       DW_AT_name                  "__gnuc_va_list"
1883                       DW_AT_decl_file             0x00000005 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
1884                       DW_AT_decl_line             0x00000028
1885                       DW_AT_type                  <0x00000149>
1886 < 1><0x00000149>    DW_TAG_array_type
1887                       DW_AT_type                  <0x00000159>
1888                       DW_AT_sibling               <0x00000159>
1889 < 2><0x00000152>      DW_TAG_subrange_type
1890                         DW_AT_type                  <0x00000031>
1891                         DW_AT_upper_bound           0
1892 < 1><0x00000159>    DW_TAG_structure_type
1893                       DW_AT_name                  "__va_list_tag"
1894                       DW_AT_byte_size             0x00000018
1895                       DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
1896                       DW_AT_decl_line             0x00000000
1897                       DW_AT_sibling               <0x0000019e>
1898 < 2><0x00000165>      DW_TAG_member
1899                         DW_AT_name                  "gp_offset"
1900                         DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
1901                         DW_AT_decl_line             0x00000000
1902                         DW_AT_type                  <0x0000003f>
1903                         DW_AT_data_member_location  DW_OP_plus_uconst 0
1904 < 2><0x00000173>      DW_TAG_member
1905                         DW_AT_name                  "fp_offset"
1906                         DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
1907                         DW_AT_decl_line             0x00000000
1908                         DW_AT_type                  <0x0000003f>
1909                         DW_AT_data_member_location  DW_OP_plus_uconst 4
1910 < 2><0x00000181>      DW_TAG_member
1911                         DW_AT_name                  "overflow_arg_area"
1912                         DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
1913                         DW_AT_decl_line             0x00000000
1914                         DW_AT_type                  <0x00000070>
1915                         DW_AT_data_member_location  DW_OP_plus_uconst 8
1916 < 2><0x0000018f>      DW_TAG_member
1917                         DW_AT_name                  "reg_save_area"
1918                         DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
1919                         DW_AT_decl_line             0x00000000
1920                         DW_AT_type                  <0x00000070>
1921                         DW_AT_data_member_location  DW_OP_plus_uconst 16
1922 < 1><0x0000019e>    DW_TAG_typedef
1923                       DW_AT_name                  "va_list"
1924                       DW_AT_decl_file             0x00000005 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
1925                       DW_AT_decl_line             0x00000066
1926                       DW_AT_type                  <0x0000013e>
1927 < 1><0x000001a9>    DW_TAG_structure_type
1928                       DW_AT_name                  "xbt_log_appender_s"
1929                       DW_AT_declaration           yes(1)
1930 < 1><0x000001af>    DW_TAG_typedef
1931                       DW_AT_name                  "xbt_log_appender_t"
1932                       DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1933                       DW_AT_decl_line             0x000000f2
1934                       DW_AT_type                  <0x000001ba>
1935 < 1><0x000001ba>    DW_TAG_pointer_type
1936                       DW_AT_byte_size             0x00000008
1937                       DW_AT_type                  <0x000001a9>
1938 < 1><0x000001c0>    DW_TAG_structure_type
1939                       DW_AT_name                  "xbt_log_layout_s"
1940                       DW_AT_declaration           yes(1)
1941 < 1><0x000001c6>    DW_TAG_typedef
1942                       DW_AT_name                  "xbt_log_layout_t"
1943                       DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1944                       DW_AT_decl_line             0x000000f3
1945                       DW_AT_type                  <0x000001d1>
1946 < 1><0x000001d1>    DW_TAG_pointer_type
1947                       DW_AT_byte_size             0x00000008
1948                       DW_AT_type                  <0x000001c0>
1949 < 1><0x000001d7>    DW_TAG_typedef
1950                       DW_AT_name                  "s_xbt_log_category_t"
1951                       DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1952                       DW_AT_decl_line             0x000000f5
1953                       DW_AT_type                  <0x000001e2>
1954 < 1><0x000001e2>    DW_TAG_structure_type
1955                       DW_AT_name                  "xbt_log_category_s"
1956                       DW_AT_byte_size             0x00000050
1957                       DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1958                       DW_AT_decl_line             0x000000fc
1959                       DW_AT_sibling               <0x00000291>
1960 < 2><0x000001ee>      DW_TAG_member
1961                         DW_AT_name                  "parent"
1962                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1963                         DW_AT_decl_line             0x000000fd
1964                         DW_AT_type                  <0x00000291>
1965                         DW_AT_data_member_location  DW_OP_plus_uconst 0
1966 < 2><0x000001fc>      DW_TAG_member
1967                         DW_AT_name                  "firstChild"
1968                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1969                         DW_AT_decl_line             0x000000fe
1970                         DW_AT_type                  <0x00000291>
1971                         DW_AT_data_member_location  DW_OP_plus_uconst 8
1972 < 2><0x0000020a>      DW_TAG_member
1973                         DW_AT_name                  "nextSibling"
1974                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1975                         DW_AT_decl_line             0x000000ff
1976                         DW_AT_type                  <0x00000291>
1977                         DW_AT_data_member_location  DW_OP_plus_uconst 16
1978 < 2><0x00000218>      DW_TAG_member
1979                         DW_AT_name                  "name"
1980                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1981                         DW_AT_decl_line             0x00000100
1982                         DW_AT_type                  <0x00000086>
1983                         DW_AT_data_member_location  DW_OP_plus_uconst 24
1984 < 2><0x00000227>      DW_TAG_member
1985                         DW_AT_name                  "description"
1986                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1987                         DW_AT_decl_line             0x00000101
1988                         DW_AT_type                  <0x00000086>
1989                         DW_AT_data_member_location  DW_OP_plus_uconst 32
1990 < 2><0x00000236>      DW_TAG_member
1991                         DW_AT_name                  "initialized"
1992                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1993                         DW_AT_decl_line             0x00000102
1994                         DW_AT_type                  <0x00000038>
1995                         DW_AT_data_member_location  DW_OP_plus_uconst 40
1996 < 2><0x00000245>      DW_TAG_member
1997                         DW_AT_name                  "threshold"
1998                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
1999                         DW_AT_decl_line             0x00000103
2000                         DW_AT_type                  <0x00000038>
2001                         DW_AT_data_member_location  DW_OP_plus_uconst 44
2002 < 2><0x00000254>      DW_TAG_member
2003                         DW_AT_name                  "isThreshInherited"
2004                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
2005                         DW_AT_decl_line             0x00000104
2006                         DW_AT_type                  <0x00000038>
2007                         DW_AT_data_member_location  DW_OP_plus_uconst 48
2008 < 2><0x00000263>      DW_TAG_member
2009                         DW_AT_name                  "appender"
2010                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
2011                         DW_AT_decl_line             0x00000105
2012                         DW_AT_type                  <0x000001af>
2013                         DW_AT_data_member_location  DW_OP_plus_uconst 56
2014 < 2><0x00000272>      DW_TAG_member
2015                         DW_AT_name                  "layout"
2016                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
2017                         DW_AT_decl_line             0x00000106
2018                         DW_AT_type                  <0x000001c6>
2019                         DW_AT_data_member_location  DW_OP_plus_uconst 64
2020 < 2><0x00000281>      DW_TAG_member
2021                         DW_AT_name                  "additivity"
2022                         DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
2023                         DW_AT_decl_line             0x00000107
2024                         DW_AT_type                  <0x00000038>
2025                         DW_AT_data_member_location  DW_OP_plus_uconst 72
2026 < 1><0x00000291>    DW_TAG_typedef
2027                       DW_AT_name                  "xbt_log_category_t"
2028                       DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
2029                       DW_AT_decl_line             0x000000f6
2030                       DW_AT_type                  <0x0000029c>
2031 < 1><0x0000029c>    DW_TAG_pointer_type
2032                       DW_AT_byte_size             0x00000008
2033                       DW_AT_type                  <0x000001e2>
2034 < 1><0x000002a2>    DW_TAG_structure_type
2035                       DW_AT_name                  "xbt_state"
2036                       DW_AT_byte_size             0x00000020
2037                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2038                       DW_AT_decl_line             0x0000000c
2039                       DW_AT_sibling               <0x000002e5>
2040 < 2><0x000002ae>      DW_TAG_member
2041                         DW_AT_name                  "id"
2042                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2043                         DW_AT_decl_line             0x0000000d
2044                         DW_AT_type                  <0x00000072>
2045                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2046 < 2><0x000002bb>      DW_TAG_member
2047                         DW_AT_name                  "type"
2048                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2049                         DW_AT_decl_line             0x0000000e
2050                         DW_AT_type                  <0x00000038>
2051                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2052 < 2><0x000002c9>      DW_TAG_member
2053                         DW_AT_name                  "in"
2054                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2055                         DW_AT_decl_line             0x0000000f
2056                         DW_AT_type                  <0x000000b5>
2057                         DW_AT_data_member_location  DW_OP_plus_uconst 16
2058 < 2><0x000002d6>      DW_TAG_member
2059                         DW_AT_name                  "out"
2060                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2061                         DW_AT_decl_line             0x00000010
2062                         DW_AT_type                  <0x000000b5>
2063                         DW_AT_data_member_location  DW_OP_plus_uconst 24
2064 < 1><0x000002e5>    DW_TAG_typedef
2065                       DW_AT_name                  "xbt_state_t"
2066                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2067                       DW_AT_decl_line             0x00000013
2068                       DW_AT_type                  <0x000002f0>
2069 < 1><0x000002f0>    DW_TAG_pointer_type
2070                       DW_AT_byte_size             0x00000008
2071                       DW_AT_type                  <0x000002a2>
2072 < 1><0x000002f6>    DW_TAG_structure_type
2073                       DW_AT_name                  "xbt_automaton"
2074                       DW_AT_byte_size             0x00000020
2075                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2076                       DW_AT_decl_line             0x00000015
2077                       DW_AT_sibling               <0x0000033b>
2078 < 2><0x00000302>      DW_TAG_member
2079                         DW_AT_name                  "propositional_symbols"
2080                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2081                         DW_AT_decl_line             0x00000016
2082                         DW_AT_type                  <0x000000b5>
2083                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2084 < 2><0x00000310>      DW_TAG_member
2085                         DW_AT_name                  "transitions"
2086                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2087                         DW_AT_decl_line             0x00000017
2088                         DW_AT_type                  <0x000000b5>
2089                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2090 < 2><0x0000031e>      DW_TAG_member
2091                         DW_AT_name                  "states"
2092                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2093                         DW_AT_decl_line             0x00000018
2094                         DW_AT_type                  <0x000000b5>
2095                         DW_AT_data_member_location  DW_OP_plus_uconst 16
2096 < 2><0x0000032c>      DW_TAG_member
2097                         DW_AT_name                  "current_state"
2098                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2099                         DW_AT_decl_line             0x00000019
2100                         DW_AT_type                  <0x000002e5>
2101                         DW_AT_data_member_location  DW_OP_plus_uconst 24
2102 < 1><0x0000033b>    DW_TAG_typedef
2103                       DW_AT_name                  "xbt_automaton_t"
2104                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2105                       DW_AT_decl_line             0x0000001c
2106                       DW_AT_type                  <0x00000346>
2107 < 1><0x00000346>    DW_TAG_pointer_type
2108                       DW_AT_byte_size             0x00000008
2109                       DW_AT_type                  <0x000002f6>
2110 < 1><0x0000034c>    DW_TAG_structure_type
2111                       DW_AT_byte_size             0x00000010
2112                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2113                       DW_AT_decl_line             0x00000023
2114                       DW_AT_sibling               <0x00000371>
2115 < 2><0x00000354>      DW_TAG_member
2116                         DW_AT_name                  "left_exp"
2117                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2118                         DW_AT_decl_line             0x00000024
2119                         DW_AT_type                  <0x00000398>
2120                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2121 < 2><0x00000362>      DW_TAG_member
2122                         DW_AT_name                  "right_exp"
2123                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2124                         DW_AT_decl_line             0x00000025
2125                         DW_AT_type                  <0x00000398>
2126                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2127 < 1><0x00000371>    DW_TAG_structure_type
2128                       DW_AT_name                  "xbt_exp_label"
2129                       DW_AT_byte_size             0x00000018
2130                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2131                       DW_AT_decl_line             0x0000001e
2132                       DW_AT_sibling               <0x00000398>
2133 < 2><0x0000037d>      DW_TAG_member
2134                         DW_AT_name                  "type"
2135                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2136                         DW_AT_decl_line             0x00000021
2137                         DW_AT_type                  <0x00000038>
2138                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2139 < 2><0x0000038b>      DW_TAG_member
2140                         DW_AT_name                  "u"
2141                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2142                         DW_AT_decl_line             0x00000029
2143                         DW_AT_type                  <0x0000039e>
2144                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2145 < 1><0x00000398>    DW_TAG_pointer_type
2146                       DW_AT_byte_size             0x00000008
2147                       DW_AT_type                  <0x00000371>
2148 < 1><0x0000039e>    DW_TAG_union_type
2149                       DW_AT_byte_size             0x00000010
2150                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2151                       DW_AT_decl_line             0x00000022
2152                       DW_AT_sibling               <0x000003c8>
2153 < 2><0x000003a6>      DW_TAG_member
2154                         DW_AT_name                  "or_and"
2155                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2156                         DW_AT_decl_line             0x00000026
2157                         DW_AT_type                  <0x0000034c>
2158 < 2><0x000003b1>      DW_TAG_member
2159                         DW_AT_name                  "exp_not"
2160                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2161                         DW_AT_decl_line             0x00000027
2162                         DW_AT_type                  <0x00000398>
2163 < 2><0x000003bc>      DW_TAG_member
2164                         DW_AT_name                  "predicat"
2165                         DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2166                         DW_AT_decl_line             0x00000028
2167                         DW_AT_type                  <0x00000072>
2168 < 1><0x000003c8>    DW_TAG_typedef
2169                       DW_AT_name                  "xbt_exp_label_t"
2170                       DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
2171                       DW_AT_decl_line             0x0000002c
2172                       DW_AT_type                  <0x00000398>
2173 < 1><0x000003d3>    DW_TAG_subprogram
2174                       DW_AT_external              yes(1)
2175                       DW_AT_name                  "init"
2176                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2177                       DW_AT_decl_line             0x00000006
2178                       DW_AT_prototyped            yes(1)
2179                       DW_AT_low_pc                0x00404084
2180                       DW_AT_high_pc               0x00404096
2181                       DW_AT_frame_base            <loclist with 4 entries follows>
2182                         [ 0]<lowpc=0x00000000><highpc=0x00000001>DW_OP_breg7+8
2183                         [ 1]<lowpc=0x00000001><highpc=0x00000004>DW_OP_breg7+16
2184                         [ 2]<lowpc=0x00000004><highpc=0x00000011>DW_OP_breg6+16
2185                         [ 3]<lowpc=0x00000011><highpc=0x00000012>DW_OP_breg7+8
2186 < 1><0x000003f0>    DW_TAG_subprogram
2187                       DW_AT_external              yes(1)
2188                       DW_AT_name                  "new_state"
2189                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2190                       DW_AT_decl_line             0x0000000a
2191                       DW_AT_prototyped            yes(1)
2192                       DW_AT_low_pc                0x00404096
2193                       DW_AT_high_pc               0x004041c1
2194                       DW_AT_frame_base            <loclist with 4 entries follows>
2195                         [ 0]<lowpc=0x00000012><highpc=0x00000013>DW_OP_breg7+8
2196                         [ 1]<lowpc=0x00000013><highpc=0x00000016>DW_OP_breg7+16
2197                         [ 2]<lowpc=0x00000016><highpc=0x0000013c>DW_OP_breg6+16
2198                         [ 3]<lowpc=0x0000013c><highpc=0x0000013d>DW_OP_breg7+8
2199                       DW_AT_sibling               <0x00000487>
2200 < 2><0x00000411>      DW_TAG_formal_parameter
2201                         DW_AT_name                  "id"
2202                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2203                         DW_AT_decl_line             0x0000000a
2204                         DW_AT_type                  <0x00000072>
2205                         DW_AT_location              DW_OP_fbreg -72
2206 < 2><0x0000041f>      DW_TAG_formal_parameter
2207                         DW_AT_name                  "src"
2208                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2209                         DW_AT_decl_line             0x0000000a
2210                         DW_AT_type                  <0x00000038>
2211                         DW_AT_location              DW_OP_fbreg -76
2212 < 2><0x0000042e>      DW_TAG_variable
2213                         DW_AT_name                  "id_state"
2214                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2215                         DW_AT_decl_line             0x0000000c
2216                         DW_AT_type                  <0x00000072>
2217                         DW_AT_location              DW_OP_fbreg -40
2218 < 2><0x0000043c>      DW_TAG_variable
2219                         DW_AT_name                  "first_part"
2220                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2221                         DW_AT_decl_line             0x0000000d
2222                         DW_AT_type                  <0x00000072>
2223                         DW_AT_location              DW_OP_fbreg -48
2224 < 2><0x0000044a>      DW_TAG_variable
2225                         DW_AT_name                  "type"
2226                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2227                         DW_AT_decl_line             0x0000000e
2228                         DW_AT_type                  <0x00000038>
2229                         DW_AT_location              DW_OP_fbreg -20
2230 < 2><0x00000458>      DW_TAG_variable
2231                         DW_AT_name                  "state"
2232                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2233                         DW_AT_decl_line             0x00000019
2234                         DW_AT_type                  <0x000002e5>
2235                         DW_AT_location              DW_OP_fbreg -32
2236 < 2><0x00000466>      DW_TAG_lexical_block
2237                         DW_AT_low_pc                0x00404106
2238                         DW_AT_high_pc               0x0040414c
2239 < 3><0x00000477>        DW_TAG_variable
2240                           DW_AT_name                  "second_part"
2241                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2242                           DW_AT_decl_line             0x00000013
2243                           DW_AT_type                  <0x00000072>
2244                           DW_AT_location              DW_OP_fbreg -56
2245 < 1><0x00000487>    DW_TAG_subprogram
2246                       DW_AT_external              yes(1)
2247                       DW_AT_name                  "new_transition"
2248                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2249                       DW_AT_decl_line             0x00000027
2250                       DW_AT_prototyped            yes(1)
2251                       DW_AT_low_pc                0x004041c1
2252                       DW_AT_high_pc               0x0040424e
2253                       DW_AT_frame_base            <loclist with 4 entries follows>
2254                         [ 0]<lowpc=0x0000013d><highpc=0x0000013e>DW_OP_breg7+8
2255                         [ 1]<lowpc=0x0000013e><highpc=0x00000141>DW_OP_breg7+16
2256                         [ 2]<lowpc=0x00000141><highpc=0x000001c9>DW_OP_breg6+16
2257                         [ 3]<lowpc=0x000001c9><highpc=0x000001ca>DW_OP_breg7+8
2258                       DW_AT_sibling               <0x000004ee>
2259 < 2><0x000004a8>      DW_TAG_formal_parameter
2260                         DW_AT_name                  "id"
2261                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2262                         DW_AT_decl_line             0x00000027
2263                         DW_AT_type                  <0x00000072>
2264                         DW_AT_location              DW_OP_fbreg -56
2265 < 2><0x000004b5>      DW_TAG_formal_parameter
2266                         DW_AT_name                  "label"
2267                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2268                         DW_AT_decl_line             0x00000027
2269                         DW_AT_type                  <0x000003c8>
2270                         DW_AT_location              DW_OP_fbreg -64
2271 < 2><0x000004c3>      DW_TAG_variable
2272                         DW_AT_name                  "id_state"
2273                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2274                         DW_AT_decl_line             0x00000029
2275                         DW_AT_type                  <0x00000072>
2276                         DW_AT_location              DW_OP_fbreg -24
2277 < 2><0x000004d1>      DW_TAG_variable
2278                         DW_AT_name                  "state_dst"
2279                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2280                         DW_AT_decl_line             0x0000002a
2281                         DW_AT_type                  <0x000002e5>
2282                         DW_AT_location              DW_OP_fbreg -32
2283 < 2><0x000004df>      DW_TAG_variable
2284                         DW_AT_name                  "state_src"
2285                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2286                         DW_AT_decl_line             0x0000002d
2287                         DW_AT_type                  <0x000002e5>
2288                         DW_AT_location              DW_OP_fbreg -40
2289 < 1><0x000004ee>    DW_TAG_subprogram
2290                       DW_AT_external              yes(1)
2291                       DW_AT_name                  "new_label"
2292                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2293                       DW_AT_decl_line             0x00000034
2294                       DW_AT_prototyped            yes(1)
2295                       DW_AT_type                  <0x000003c8>
2296                       DW_AT_low_pc                0x0040424e
2297                       DW_AT_high_pc               0x00404597
2298                       DW_AT_frame_base            <loclist with 4 entries follows>
2299                         [ 0]<lowpc=0x000001ca><highpc=0x000001cb>DW_OP_breg7+8
2300                         [ 1]<lowpc=0x000001cb><highpc=0x000001ce>DW_OP_breg7+16
2301                         [ 2]<lowpc=0x000001ce><highpc=0x00000512>DW_OP_breg6+16
2302                         [ 3]<lowpc=0x00000512><highpc=0x00000513>DW_OP_breg7+8
2303                       DW_AT_sibling               <0x000005ed>
2304 < 2><0x00000513>      DW_TAG_formal_parameter
2305                         DW_AT_name                  "type"
2306                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2307                         DW_AT_decl_line             0x00000034
2308                         DW_AT_type                  <0x00000038>
2309                         DW_AT_location              DW_OP_fbreg -276
2310 < 2><0x00000522>      DW_TAG_unspecified_parameters
2311 < 2><0x00000523>      DW_TAG_variable
2312                         DW_AT_name                  "label"
2313                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2314                         DW_AT_decl_line             0x00000035
2315                         DW_AT_type                  <0x000003c8>
2316                         DW_AT_location              DW_OP_fbreg -200
2317 < 2><0x00000532>      DW_TAG_variable
2318                         DW_AT_name                  "ap"
2319                         DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2320                         DW_AT_decl_line             0x00000036
2321                         DW_AT_type                  <0x0000019e>
2322                         DW_AT_location              DW_OP_fbreg -272
2323 < 2><0x00000540>      DW_TAG_lexical_block
2324                         DW_AT_low_pc                0x004042fb
2325                         DW_AT_high_pc               0x004043c4
2326                         DW_AT_sibling               <0x00000574>
2327 < 3><0x00000555>        DW_TAG_variable
2328                           DW_AT_name                  "left"
2329                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2330                           DW_AT_decl_line             0x0000003a
2331                           DW_AT_type                  <0x000003c8>
2332                           DW_AT_location              DW_OP_fbreg -208
2333 < 3><0x00000564>        DW_TAG_variable
2334                           DW_AT_name                  "right"
2335                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2336                           DW_AT_decl_line             0x0000003b
2337                           DW_AT_type                  <0x000003c8>
2338                           DW_AT_location              DW_OP_fbreg -216
2339 < 2><0x00000574>      DW_TAG_lexical_block
2340                         DW_AT_low_pc                0x004043c4
2341                         DW_AT_high_pc               0x0040448d
2342                         DW_AT_sibling               <0x000005a8>
2343 < 3><0x00000589>        DW_TAG_variable
2344                           DW_AT_name                  "left"
2345                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2346                           DW_AT_decl_line             0x00000040
2347                           DW_AT_type                  <0x000003c8>
2348                           DW_AT_location              DW_OP_fbreg -224
2349 < 3><0x00000598>        DW_TAG_variable
2350                           DW_AT_name                  "right"
2351                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2352                           DW_AT_decl_line             0x00000041
2353                           DW_AT_type                  <0x000003c8>
2354                           DW_AT_location              DW_OP_fbreg -232
2355 < 2><0x000005a8>      DW_TAG_lexical_block
2356                         DW_AT_low_pc                0x0040448d
2357                         DW_AT_high_pc               0x00404502
2358                         DW_AT_sibling               <0x000005cd>
2359 < 3><0x000005bd>        DW_TAG_variable
2360                           DW_AT_name                  "exp_not"
2361                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2362                           DW_AT_decl_line             0x00000046
2363                           DW_AT_type                  <0x000003c8>
2364                           DW_AT_location              DW_OP_fbreg -240
2365 < 2><0x000005cd>      DW_TAG_lexical_block
2366                         DW_AT_low_pc                0x00404502
2367                         DW_AT_high_pc               0x00404574
2368 < 3><0x000005de>        DW_TAG_variable
2369                           DW_AT_name                  "p"
2370                           DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2371                           DW_AT_decl_line             0x0000004b
2372                           DW_AT_type                  <0x00000072>
2373                           DW_AT_location              DW_OP_fbreg -248
2374 < 1><0x000005ed>    DW_TAG_subprogram
2375                       DW_AT_external              yes(1)
2376                       DW_AT_name                  "get_automaton"
2377                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2378                       DW_AT_decl_line             0x00000058
2379                       DW_AT_prototyped            yes(1)
2380                       DW_AT_type                  <0x0000033b>
2381                       DW_AT_low_pc                0x00404597
2382                       DW_AT_high_pc               0x004045a4
2383                       DW_AT_frame_base            <loclist with 4 entries follows>
2384                         [ 0]<lowpc=0x00000513><highpc=0x00000514>DW_OP_breg7+8
2385                         [ 1]<lowpc=0x00000514><highpc=0x00000517>DW_OP_breg7+16
2386                         [ 2]<lowpc=0x00000517><highpc=0x0000051f>DW_OP_breg6+16
2387                         [ 3]<lowpc=0x0000051f><highpc=0x00000520>DW_OP_breg7+8
2388 < 1><0x0000060e>    DW_TAG_variable
2389                       DW_AT_name                  "_simgrid_log_category__xbt"
2390                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/sysdep.h
2391                       DW_AT_decl_line             0x0000007e
2392                       DW_AT_type                  <0x000001d7>
2393                       DW_AT_external              yes(1)
2394                       DW_AT_declaration           yes(1)
2395 < 1><0x0000061b>    DW_TAG_variable
2396                       DW_AT_name                  "automaton"
2397                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2398                       DW_AT_decl_line             0x00000003
2399                       DW_AT_type                  <0x0000033b>
2400                       DW_AT_external              yes(1)
2401                       DW_AT_location              DW_OP_addr 0x00609ba0
2402 < 1><0x00000631>    DW_TAG_variable
2403                       DW_AT_name                  "state_id_src"
2404                       DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
2405                       DW_AT_decl_line             0x00000004
2406                       DW_AT_type                  <0x00000072>
2407                       DW_AT_external              yes(1)
2408                       DW_AT_location              DW_OP_addr 0x00609b80
2409
2410 COMPILE_UNIT<header overall offset = 0x00001752>:
2411 < 0><0x0000000b>  DW_TAG_compile_unit
2412                     DW_AT_producer              "GNU C 4.6.3"
2413                     DW_AT_language              DW_LANG_C89
2414                     DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/bugged1_while_liveness.c"
2415                     DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
2416                     DW_AT_low_pc                0x004045a4
2417                     DW_AT_high_pc               0x004075dd
2418                     DW_AT_stmt_list             0x00000b38
2419                     DW_AT_macro_info            68637
2420
2421 LOCAL_SYMBOLS:
2422 < 1><0x00000031>    DW_TAG_typedef
2423                       DW_AT_name                  "size_t"
2424                       DW_AT_decl_file             0x00000006 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stddef.h
2425                       DW_AT_decl_line             0x000000d4
2426                       DW_AT_type                  <0x0000003c>
2427 < 1><0x0000003c>    DW_TAG_base_type
2428                       DW_AT_byte_size             0x00000008
2429                       DW_AT_encoding              DW_ATE_unsigned
2430                       DW_AT_name                  "long unsigned int"
2431 < 1><0x00000043>    DW_TAG_base_type
2432                       DW_AT_byte_size             0x00000002
2433                       DW_AT_encoding              DW_ATE_unsigned
2434                       DW_AT_name                  "short unsigned int"
2435 < 1><0x0000004a>    DW_TAG_base_type
2436                       DW_AT_byte_size             0x00000004
2437                       DW_AT_encoding              DW_ATE_signed
2438                       DW_AT_name                  "int"
2439 < 1><0x00000051>    DW_TAG_pointer_type
2440                       DW_AT_byte_size             0x00000008
2441                       DW_AT_type                  <0x00000057>
2442 < 1><0x00000057>    DW_TAG_const_type
2443                       DW_AT_type                  <0x0000005c>
2444 < 1><0x0000005c>    DW_TAG_base_type
2445                       DW_AT_byte_size             0x00000001
2446                       DW_AT_encoding              DW_ATE_signed_char
2447                       DW_AT_name                  "char"
2448 < 1><0x00000063>    DW_TAG_base_type
2449                       DW_AT_byte_size             0x00000004
2450                       DW_AT_encoding              DW_ATE_unsigned
2451                       DW_AT_name                  "unsigned int"
2452 < 1><0x0000006a>    DW_TAG_base_type
2453                       DW_AT_byte_size             0x00000008
2454                       DW_AT_encoding              DW_ATE_signed
2455                       DW_AT_name                  "long int"
2456 < 1><0x00000071>    DW_TAG_base_type
2457                       DW_AT_byte_size             0x00000008
2458                       DW_AT_encoding              DW_ATE_signed
2459                       DW_AT_name                  "long long int"
2460 < 1><0x00000078>    DW_TAG_base_type
2461                       DW_AT_byte_size             0x00000001
2462                       DW_AT_encoding              DW_ATE_unsigned_char
2463                       DW_AT_name                  "unsigned char"
2464 < 1><0x0000007f>    DW_TAG_base_type
2465                       DW_AT_byte_size             0x00000001
2466                       DW_AT_encoding              DW_ATE_signed_char
2467                       DW_AT_name                  "signed char"
2468 < 1><0x00000086>    DW_TAG_base_type
2469                       DW_AT_byte_size             0x00000002
2470                       DW_AT_encoding              DW_ATE_signed
2471                       DW_AT_name                  "short int"
2472 < 1><0x0000008d>    DW_TAG_typedef
2473                       DW_AT_name                  "__off_t"
2474                       DW_AT_decl_file             0x00000007 /usr/include/x86_64-linux-gnu/bits/types.h
2475                       DW_AT_decl_line             0x0000008d
2476                       DW_AT_type                  <0x0000006a>
2477 < 1><0x00000098>    DW_TAG_typedef
2478                       DW_AT_name                  "__off64_t"
2479                       DW_AT_decl_file             0x00000007 /usr/include/x86_64-linux-gnu/bits/types.h
2480                       DW_AT_decl_line             0x0000008e
2481                       DW_AT_type                  <0x0000006a>
2482 < 1><0x000000a3>    DW_TAG_pointer_type
2483                       DW_AT_byte_size             0x00000008
2484 < 1><0x000000a5>    DW_TAG_pointer_type
2485                       DW_AT_byte_size             0x00000008
2486                       DW_AT_type                  <0x0000005c>
2487 < 1><0x000000ab>    DW_TAG_base_type
2488                       DW_AT_byte_size             0x00000008
2489                       DW_AT_encoding              DW_ATE_unsigned
2490                       DW_AT_name                  "long long unsigned int"
2491 < 1><0x000000b2>    DW_TAG_typedef
2492                       DW_AT_name                  "__gnuc_va_list"
2493                       DW_AT_decl_file             0x00000008 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
2494                       DW_AT_decl_line             0x00000028
2495                       DW_AT_type                  <0x000000bd>
2496 < 1><0x000000bd>    DW_TAG_array_type
2497                       DW_AT_type                  <0x000000cd>
2498                       DW_AT_sibling               <0x000000cd>
2499 < 2><0x000000c6>      DW_TAG_subrange_type
2500                         DW_AT_type                  <0x0000003c>
2501                         DW_AT_upper_bound           0
2502 < 1><0x000000cd>    DW_TAG_structure_type
2503                       DW_AT_name                  "__va_list_tag"
2504                       DW_AT_byte_size             0x00000018
2505                       DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
2506                       DW_AT_decl_line             0x00000000
2507                       DW_AT_sibling               <0x00000112>
2508 < 2><0x000000d9>      DW_TAG_member
2509                         DW_AT_name                  "gp_offset"
2510                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
2511                         DW_AT_decl_line             0x00000000
2512                         DW_AT_type                  <0x00000063>
2513                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2514 < 2><0x000000e7>      DW_TAG_member
2515                         DW_AT_name                  "fp_offset"
2516                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
2517                         DW_AT_decl_line             0x00000000
2518                         DW_AT_type                  <0x00000063>
2519                         DW_AT_data_member_location  DW_OP_plus_uconst 4
2520 < 2><0x000000f5>      DW_TAG_member
2521                         DW_AT_name                  "overflow_arg_area"
2522                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
2523                         DW_AT_decl_line             0x00000000
2524                         DW_AT_type                  <0x000000a3>
2525                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2526 < 2><0x00000103>      DW_TAG_member
2527                         DW_AT_name                  "reg_save_area"
2528                         DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
2529                         DW_AT_decl_line             0x00000000
2530                         DW_AT_type                  <0x000000a3>
2531                         DW_AT_data_member_location  DW_OP_plus_uconst 16
2532 < 1><0x00000112>    DW_TAG_typedef
2533                       DW_AT_name                  "va_list"
2534                       DW_AT_decl_file             0x00000008 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
2535                       DW_AT_decl_line             0x00000066
2536                       DW_AT_type                  <0x000000b2>
2537 < 1><0x0000011d>    DW_TAG_enumeration_type
2538                       DW_AT_byte_size             0x00000004
2539                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2540                       DW_AT_decl_line             0x0000002d
2541                       DW_AT_sibling               <0x00000162>
2542 < 2><0x00000125>      DW_TAG_enumerator
2543                         DW_AT_name                  "xbt_log_priority_none"
2544                         DW_AT_const_value           0x00000000
2545 < 2><0x0000012b>      DW_TAG_enumerator
2546                         DW_AT_name                  "xbt_log_priority_trace"
2547                         DW_AT_const_value           0x00000001
2548 < 2><0x00000131>      DW_TAG_enumerator
2549                         DW_AT_name                  "xbt_log_priority_debug"
2550                         DW_AT_const_value           0x00000002
2551 < 2><0x00000137>      DW_TAG_enumerator
2552                         DW_AT_name                  "xbt_log_priority_verbose"
2553                         DW_AT_const_value           0x00000003
2554 < 2><0x0000013d>      DW_TAG_enumerator
2555                         DW_AT_name                  "xbt_log_priority_info"
2556                         DW_AT_const_value           0x00000004
2557 < 2><0x00000143>      DW_TAG_enumerator
2558                         DW_AT_name                  "xbt_log_priority_warning"
2559                         DW_AT_const_value           0x00000005
2560 < 2><0x00000149>      DW_TAG_enumerator
2561                         DW_AT_name                  "xbt_log_priority_error"
2562                         DW_AT_const_value           0x00000006
2563 < 2><0x0000014f>      DW_TAG_enumerator
2564                         DW_AT_name                  "xbt_log_priority_critical"
2565                         DW_AT_const_value           0x00000007
2566 < 2><0x00000155>      DW_TAG_enumerator
2567                         DW_AT_name                  "xbt_log_priority_infinite"
2568                         DW_AT_const_value           0x00000008
2569 < 2><0x0000015b>      DW_TAG_enumerator
2570                         DW_AT_name                  "xbt_log_priority_uninitialized"
2571                         DW_AT_const_value           0xffffffffffffffff
2572 < 1><0x00000162>    DW_TAG_typedef
2573                       DW_AT_name                  "e_xbt_log_priority_t"
2574                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2575                       DW_AT_decl_line             0x0000003a
2576                       DW_AT_type                  <0x0000011d>
2577 < 1><0x0000016d>    DW_TAG_structure_type
2578                       DW_AT_name                  "xbt_log_appender_s"
2579                       DW_AT_declaration           yes(1)
2580 < 1><0x00000173>    DW_TAG_typedef
2581                       DW_AT_name                  "xbt_log_appender_t"
2582                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2583                       DW_AT_decl_line             0x000000f2
2584                       DW_AT_type                  <0x0000017e>
2585 < 1><0x0000017e>    DW_TAG_pointer_type
2586                       DW_AT_byte_size             0x00000008
2587                       DW_AT_type                  <0x0000016d>
2588 < 1><0x00000184>    DW_TAG_structure_type
2589                       DW_AT_name                  "xbt_log_layout_s"
2590                       DW_AT_declaration           yes(1)
2591 < 1><0x0000018a>    DW_TAG_typedef
2592                       DW_AT_name                  "xbt_log_layout_t"
2593                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2594                       DW_AT_decl_line             0x000000f3
2595                       DW_AT_type                  <0x00000195>
2596 < 1><0x00000195>    DW_TAG_pointer_type
2597                       DW_AT_byte_size             0x00000008
2598                       DW_AT_type                  <0x00000184>
2599 < 1><0x0000019b>    DW_TAG_typedef
2600                       DW_AT_name                  "s_xbt_log_event_t"
2601                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2602                       DW_AT_decl_line             0x000000f4
2603                       DW_AT_type                  <0x000001a6>
2604 < 1><0x000001a6>    DW_TAG_structure_type
2605                       DW_AT_name                  "xbt_log_event_s"
2606                       DW_AT_byte_size             0x00000050
2607                       DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2608                       DW_AT_decl_line             0x0000010a
2609                       DW_AT_sibling               <0x0000022b>
2610 < 2><0x000001b3>      DW_TAG_member
2611                         DW_AT_name                  "cat"
2612                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2613                         DW_AT_decl_line             0x0000010b
2614                         DW_AT_type                  <0x000002e5>
2615                         DW_AT_data_member_location  DW_OP_plus_uconst 0
2616 < 2><0x000001c2>      DW_TAG_member
2617                         DW_AT_name                  "priority"
2618                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2619                         DW_AT_decl_line             0x0000010c
2620                         DW_AT_type                  <0x00000162>
2621                         DW_AT_data_member_location  DW_OP_plus_uconst 8
2622 < 2><0x000001d1>      DW_TAG_member
2623                         DW_AT_name                  "fileName"
2624                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2625                         DW_AT_decl_line             0x0000010d
2626                         DW_AT_type                  <0x00000051>
2627                         DW_AT_data_member_location  DW_OP_plus_uconst 16
2628 < 2><0x000001e0>      DW_TAG_member
2629                         DW_AT_name                  "functionName"
2630                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2631                         DW_AT_decl_line             0x0000010e
2632                         DW_AT_type                  <0x00000051>
2633                         DW_AT_data_member_location  DW_OP_plus_uconst 24
2634 < 2><0x000001ef>      DW_TAG_member
2635                         DW_AT_name                  "lineNum"
2636                         DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
2637                         DW_AT_decl_line             0x0000010f
2638                         DW_AT_type                  <0x0000004a>
2639                         DW_AT_data_member_location  DW_OP_plus_uconst 32
2640 < 2><0x000001fe>      DW_TAG_member
2641                         DW_AT_name                  "ap"
2642