Data Fields | |
| struct ipcp_value * | values |
| int | values_count |
| bool | contains_variable |
| bool | bottom |
Detailed Description
Lattice describing potential values of a formal parameter of a function, or a part of an aggreagate. TOP is represented by a lattice with zero values and with contains_variable and bottom flags cleared. BOTTOM is represented by a lattice with the bottom flag set. In that case, values and contains_variable flag should be disregarded.
Field Documentation
| bool ipcp_lattice::bottom |
The value of the lattice is bottom (i.e. variable and unusable for any propagation).
Referenced by add_scalar_value_to_lattice(), ipa_get_scalar_lat(), and move_binfos_to_values().
| bool ipcp_lattice::contains_variable |
The lattice contains a variable component (in addition to values).
Referenced by pop_node_from_stack().
| struct ipcp_value* ipcp_lattice::values |
The list of known values and types in this lattice. Note that values are not deallocated if a lattice is set to bottom because there may be value sources referencing them.
Referenced by add_value_to_lattice(), and move_binfos_to_values().
| int ipcp_lattice::values_count |
Number of known values and types in this lattice.
The documentation for this struct was generated from the following file:
