Searched refs:explicit_invariant (Results 1 – 7 of 7) sorted by relevance
332 if (input->data.explicit_invariant != output->data.explicit_invariant && in cross_validate_types_and_qualifiers()339 (output->data.explicit_invariant) ? "has" : "lacks", in cross_validate_types_and_qualifiers()341 (input->data.explicit_invariant) ? "has" : "lacks"); in cross_validate_types_and_qualifiers()
187 const char *const explicit_inv = (ir->data.explicit_invariant) ? "explicit_invariant " : ""; in visit()
423 var->data.explicit_invariant = true; in read_declaration()
668 unsigned explicit_invariant:1; member
1100 if (existing->data.explicit_invariant != var->data.explicit_invariant) { in cross_validate_globals()
3984 var->data.explicit_invariant = true; in apply_type_qualifier_to_variable()4194 var->data.explicit_invariant = true; in apply_type_qualifier_to_variable()4913 earlier->data.explicit_invariant = true; in hir()
2050 this->data.explicit_invariant = false; in ir_variable()