flattened_pointert Struct Reference

The pointer whose flattened representation is bits [lo, lo + width) of e whenever untouched holds (nil: always), looking through extracts, byte updates that leave those bits alone and the member layout of flatten_to_bitvector. More...

Public Attributes
expr2tc	pointer
expr2tc	untouched

Detailed Description

The pointer whose flattened representation is bits [lo, lo + width) of e whenever untouched holds (nil: always), looking through extracts, byte updates that leave those bits alone and the member layout of flatten_to_bitvector.

The pointer is nil when that is not evident.

Member Data Documentation

pointer

expr2tc flattened_pointert::pointer

untouched

expr2tc flattened_pointert::untouched

---

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

• src/solvers/smt/smt_bitcast.cpp