Skip to content

Make functions with bodies in c_types_util.h inline #5253

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hannes-steffenhagen-diffblue merged 1 commit into from
Mar 4, 2020
Merged

Make functions with bodies in c_types_util.h inline #5253

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions src/util/c_types_util.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ inline bool is_c_enum_type(const typet &type)
/// \param c_enum the enum type \p member_name is supposed to be part of.
/// \return constant, that could be assigned as the value of an expression with
/// type c_enum.
constant_exprt convert_member_name_to_enum_value(
inline constant_exprt convert_member_name_to_enum_value(
const irep_idt &member_name,
const c_enum_typet &c_enum)
{
Expand All @@ -100,7 +100,7 @@ constant_exprt convert_member_name_to_enum_value(
/// Convert id to a Boolean value
/// \param bool_value: A string that is compared to "true" ignoring case.
/// \return a constant of type Boolean
bool id2boolean(const std::string &bool_value)
inline bool id2boolean(const std::string &bool_value)
{
std::string string_value = bool_value;
std::transform(
Expand All @@ -117,7 +117,7 @@ bool id2boolean(const std::string &bool_value)
/// \param bool_value: A Boolean value.
/// \param type: The type, the resulting constant is supposed to have.
/// \return a constant of type \param type with either 0 or 1 as value.
constant_exprt from_c_boolean_value(bool bool_value, const typet &type)
inline constant_exprt from_c_boolean_value(bool bool_value, const typet &type)
{
return bool_value ? from_integer(mp_integer(1), type)
: from_integer(mp_integer(0), type);
Expand Down