ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pad_names.h File Reference
#include <string_view>
#include <util/base/prefix.h>
Include dependency graph for pad_names.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool is_padding_name (std::string_view name)

Variables

constexpr std::string_view pad_prefix = "anon_pad#"
constexpr std::string_view pad_bit_field_prefix = "anon_bit_field_pad#"
constexpr std::string_view pad_ext_int_prefix = "ext_int_pad#"
constexpr std::string_view pad_union_name = "union_pad#"

Function Documentation

◆ is_padding_name()

bool is_padding_name ( std::string_view name)
inline

Variable Documentation

◆ pad_bit_field_prefix

std::string_view pad_bit_field_prefix = "anon_bit_field_pad#"
inlineconstexpr

◆ pad_ext_int_prefix

std::string_view pad_ext_int_prefix = "ext_int_pad#"
inlineconstexpr

◆ pad_prefix

std::string_view pad_prefix = "anon_pad#"
inlineconstexpr

◆ pad_union_name

std::string_view pad_union_name = "union_pad#"
inlineconstexpr