#include "c_types.h"#include "config.h"#include "invariant.h"#include "pointer_offset_size.h"#include "std_types.h"
Include dependency graph for c_types.cpp:Go to the source code of this file.
Function Documentation
◆ c_bool_type()
| typet c_bool_type | ( | ) |
Definition at line 118 of file c_types.cpp.
◆ c_enum_constant_type()
| bitvector_typet c_enum_constant_type | ( | ) |
return type of enum constants
Definition at line 28 of file c_types.cpp.
◆ c_index_type()
| bitvector_typet c_index_type | ( | ) |
Definition at line 16 of file c_types.cpp.
◆ c_type_as_string()
| std::string c_type_as_string | ( | const irep_idt & | c_type | ) |
Definition at line 269 of file c_types.cpp.
◆ char16_t_type()
| unsignedbv_typet char16_t_type | ( | ) |
Definition at line 175 of file c_types.cpp.
◆ char32_t_type()
| unsignedbv_typet char32_t_type | ( | ) |
Definition at line 185 of file c_types.cpp.
◆ char_type()
| bitvector_typet char_type | ( | ) |
Definition at line 124 of file c_types.cpp.
◆ double_type()
| floatbv_typet double_type | ( | ) |
Definition at line 203 of file c_types.cpp.
◆ enum_constant_type()
| bitvector_typet enum_constant_type | ( | ) |
- Deprecated:
- "deprecated since " "2022" "-" "1" "-" "13" "; " "use c_enum_constant_type() instead"
Definition at line 35 of file c_types.cpp.
◆ float_type()
| floatbv_typet float_type | ( | ) |
Definition at line 195 of file c_types.cpp.
◆ index_type()
| bitvector_typet index_type | ( | ) |
- Deprecated:
- "deprecated since " "2022" "-" "1" "-" "13" "; " "use c_index_type() or array_typet::index_type() instead"
Definition at line 22 of file c_types.cpp.
◆ long_double_type()
| floatbv_typet long_double_type | ( | ) |
Definition at line 211 of file c_types.cpp.
◆ pointer_diff_type()
| signedbv_typet pointer_diff_type | ( | ) |
Definition at line 238 of file c_types.cpp.
◆ pointer_type()
| pointer_typet pointer_type | ( | const typet & | subtype | ) |
Definition at line 253 of file c_types.cpp.
◆ reference_type()
| reference_typet reference_type | ( | const typet & | subtype | ) |
Definition at line 258 of file c_types.cpp.
◆ signed_char_type()
| signedbv_typet signed_char_type | ( | ) |
Definition at line 152 of file c_types.cpp.
◆ signed_int_type()
| signedbv_typet signed_int_type | ( | ) |
Definition at line 40 of file c_types.cpp.
◆ signed_long_int_type()
| signedbv_typet signed_long_int_type | ( | ) |
Definition at line 90 of file c_types.cpp.
◆ signed_long_long_int_type()
| signedbv_typet signed_long_long_int_type | ( | ) |
Definition at line 97 of file c_types.cpp.
◆ signed_short_int_type()
| signedbv_typet signed_short_int_type | ( | ) |
Definition at line 47 of file c_types.cpp.
◆ signed_size_type()
| signedbv_typet signed_size_type | ( | ) |
Definition at line 84 of file c_types.cpp.
◆ size_type()
| unsignedbv_typet size_type | ( | ) |
Definition at line 68 of file c_types.cpp.
◆ unsigned_char_type()
| unsignedbv_typet unsigned_char_type | ( | ) |
Definition at line 145 of file c_types.cpp.
◆ unsigned_int_type()
| unsignedbv_typet unsigned_int_type | ( | ) |
Definition at line 54 of file c_types.cpp.
◆ unsigned_long_int_type()
| unsignedbv_typet unsigned_long_int_type | ( | ) |
Definition at line 104 of file c_types.cpp.
◆ unsigned_long_long_int_type()
| unsignedbv_typet unsigned_long_long_int_type | ( | ) |
Definition at line 111 of file c_types.cpp.
◆ unsigned_short_int_type()
| unsignedbv_typet unsigned_short_int_type | ( | ) |
Definition at line 61 of file c_types.cpp.
◆ void_type()
| empty_typet void_type | ( | ) |
Definition at line 263 of file c_types.cpp.
◆ wchar_t_type()
| bitvector_typet wchar_t_type | ( | ) |
Definition at line 159 of file c_types.cpp.
