TypeFlags Struct Reference

#include <type_utils.h>

Public Attributes
bool	has_float = false
bool	has_int = false
bool	has_bool = false
bool	has_none = false
bool	has_other = false
	A union member this tracker cannot represent – a list, dict, class or any other non-scalar.

Member Data Documentation

has_bool

bool TypeFlags::has_bool = false

has_float

bool TypeFlags::has_float = false

has_int

bool TypeFlags::has_int = false

has_none

bool TypeFlags::has_none = false

has_other

bool TypeFlags::has_other = false

A union member this tracker cannot represent – a list, dict, class or any other non-scalar.

Set by update_type_flags_from_node for anything it does not recognise, so select_widest_type can decline to narrow (esbmc/esbmc#7872).

---

The documentation for this struct was generated from the following file:

• src/python-frontend/type/type_utils.h