Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix SIMCALL_MUTEX_LOCK with MC
[simgrid.git] / src / mc / mc_dwarf_attrnames.h
1 /* Copyright (c) 2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 case 0x01: return "DW_AT_sibling";
8 case 0x02: return "DW_AT_location";
9 case 0x03: return "DW_AT_name";
10 case 0x09: return "DW_AT_ordering";
11 case 0x0a: return "DW_AT_subscr_data";
12 case 0x0b: return "DW_AT_byte_size";
13 case 0x0c: return "DW_AT_bit_offset";
14 case 0x0d: return "DW_AT_bit_size";
15 case 0x0f: return "DW_AT_element_list";
16 case 0x10: return "DW_AT_stmt_list";
17 case 0x11: return "DW_AT_low_pc";
18 case 0x12: return "DW_AT_high_pc";
19 case 0x13: return "DW_AT_language";
20 case 0x14: return "DW_AT_member";
21 case 0x15: return "DW_AT_discr";
22 case 0x16: return "DW_AT_discr_value";
23 case 0x17: return "DW_AT_visibility";
24 case 0x18: return "DW_AT_import";
25 case 0x19: return "DW_AT_string_length";
26 case 0x1a: return "DW_AT_common_reference";
27 case 0x1b: return "DW_AT_comp_dir";
28 case 0x1c: return "DW_AT_const_value";
29 case 0x1d: return "DW_AT_containing_type";
30 case 0x1e: return "DW_AT_default_value";
31 case 0x20: return "DW_AT_inline";
32 case 0x21: return "DW_AT_is_optional";
33 case 0x22: return "DW_AT_lower_bound";
34 case 0x25: return "DW_AT_producer";
35 case 0x27: return "DW_AT_prototyped";
36 case 0x2a: return "DW_AT_return_addr";
37 case 0x2c: return "DW_AT_start_scope";
38 case 0x2e: return "DW_AT_bit_stride";
39 case 0x2f: return "DW_AT_upper_bound";
40 case 0x31: return "DW_AT_abstract_origin";
41 case 0x32: return "DW_AT_accessibility";
42 case 0x33: return "DW_AT_address_class";
43 case 0x34: return "DW_AT_artificial";
44 case 0x35: return "DW_AT_base_types";
45 case 0x36: return "DW_AT_calling_convention";
46 case 0x37: return "DW_AT_count";
47 case 0x38: return "DW_AT_data_member_location";
48 case 0x39: return "DW_AT_decl_column";
49 case 0x3a: return "DW_AT_decl_file";
50 case 0x3b: return "DW_AT_decl_line";
51 case 0x3c: return "DW_AT_declaration";
52 case 0x3d: return "DW_AT_discr_list";
53 case 0x3e: return "DW_AT_encoding";
54 case 0x3f: return "DW_AT_external";
55 case 0x40: return "DW_AT_frame_base";
56 case 0x41: return "DW_AT_friend";
57 case 0x42: return "DW_AT_identifier_case";
58 case 0x43: return "DW_AT_macro_info";
59 case 0x44: return "DW_AT_namelist_item";
60 case 0x45: return "DW_AT_priority";
61 case 0x46: return "DW_AT_segment";
62 case 0x47: return "DW_AT_specification";
63 case 0x48: return "DW_AT_static_link";
64 case 0x49: return "DW_AT_type";
65 case 0x4a: return "DW_AT_use_location";
66 case 0x4b: return "DW_AT_variable_parameter";
67 case 0x4c: return "DW_AT_virtuality";
68 case 0x4d: return "DW_AT_vtable_elem_location";
69 case 0x4e: return "DW_AT_allocated";
70 case 0x4f: return "DW_AT_associated";
71 case 0x50: return "DW_AT_data_location";
72 case 0x51: return "DW_AT_byte_stride";
73 case 0x52: return "DW_AT_entry_pc";
74 case 0x53: return "DW_AT_use_UTF8";
75 case 0x54: return "DW_AT_extension";
76 case 0x55: return "DW_AT_ranges";
77 case 0x56: return "DW_AT_trampoline";
78 case 0x57: return "DW_AT_call_column";
79 case 0x58: return "DW_AT_call_file";
80 case 0x59: return "DW_AT_call_line";
81 case 0x5a: return "DW_AT_description";
82 case 0x5b: return "DW_AT_binary_scale";
83 case 0x5c: return "DW_AT_decimal_scale";
84 case 0x5d: return "DW_AT_small";
85 case 0x5e: return "DW_AT_decimal_sign";
86 case 0x5f: return "DW_AT_digit_count";
87 case 0x60: return "DW_AT_picture_string";
88 case 0x61: return "DW_AT_mutable";
89 case 0x62: return "DW_AT_threads_scaled";
90 case 0x63: return "DW_AT_explicit";
91 case 0x64: return "DW_AT_object_pointer";
92 case 0x65: return "DW_AT_endianity";
93 case 0x66: return "DW_AT_elemental";
94 case 0x67: return "DW_AT_pure";
95 case 0x68: return "DW_AT_recursive";
96 case 0x69: return "DW_AT_signature";
97 case 0x6a: return "DW_AT_main_subprogram";
98 case 0x6b: return "DW_AT_data_bit_offset";
99 case 0x6c: return "DW_AT_const_expr";
100 case 0x6d: return "DW_AT_enum_class";
101 case 0x6e: return "DW_AT_linkage_name";
102 case 0x2000: return "DW_AT_lo_user";
103 case 0x2001: return "DW_AT_MIPS_fde";
104 case 0x2002: return "DW_AT_MIPS_loop_begin";
105 case 0x2003: return "DW_AT_MIPS_tail_loop_begin";
106 case 0x2004: return "DW_AT_MIPS_epilog_begin";
107 case 0x2005: return "DW_AT_MIPS_loop_unroll_factor";
108 case 0x2006: return "DW_AT_MIPS_software_pipeline_depth";
109 case 0x2007: return "DW_AT_MIPS_linkage_name";
110 case 0x2008: return "DW_AT_MIPS_stride";
111 case 0x2009: return "DW_AT_MIPS_abstract_name";
112 case 0x200a: return "DW_AT_MIPS_clone_origin";
113 case 0x200b: return "DW_AT_MIPS_has_inlines";
114 case 0x200c: return "DW_AT_MIPS_stride_byte";
115 case 0x200d: return "DW_AT_MIPS_stride_elem";
116 case 0x200e: return "DW_AT_MIPS_ptr_dopetype";
117 case 0x200f: return "DW_AT_MIPS_allocatable_dopetype";
118 case 0x2010: return "DW_AT_MIPS_assumed_shape_dopetype";
119 case 0x2011: return "DW_AT_MIPS_assumed_size";
120 case 0x2101: return "DW_AT_sf_names";
121 case 0x2102: return "DW_AT_src_info";
122 case 0x2103: return "DW_AT_mac_info";
123 case 0x2104: return "DW_AT_src_coords";
124 case 0x2105: return "DW_AT_body_begin";
125 case 0x2106: return "DW_AT_body_end";
126 case 0x2107: return "DW_AT_GNU_vector";
127 case 0x2108: return "DW_AT_GNU_guarded_by";
128 case 0x2109: return "DW_AT_GNU_pt_guarded_by";
129 case 0x210a: return "DW_AT_GNU_guarded";
130 case 0x210b: return "DW_AT_GNU_pt_guarded";
131 case 0x210c: return "DW_AT_GNU_locks_excluded";
132 case 0x210d: return "DW_AT_GNU_exclusive_locks_required";
133 case 0x210e: return "DW_AT_GNU_shared_locks_required";
134 case 0x210f: return "DW_AT_GNU_odr_signature";
135 case 0x2110: return "DW_AT_GNU_template_name";
136 case 0x2111: return "DW_AT_GNU_call_site_value";
137 case 0x2112: return "DW_AT_GNU_call_site_data_value";
138 case 0x2113: return "DW_AT_GNU_call_site_target";
139 case 0x2114: return "DW_AT_GNU_call_site_target_clobbered";
140 case 0x2115: return "DW_AT_GNU_tail_call";
141 case 0x2116: return "DW_AT_GNU_all_tail_call_sites";
142 case 0x2117: return "DW_AT_GNU_all_call_sites";
143 case 0x2118: return "DW_AT_GNU_all_source_call_sites";
144 case 0x2119: return "DW_AT_GNU_macros";
145 case 0x3fff: return "DW_AT_hi_user";