Searched refs:explicit_invariant (Results 1 – 7 of 7) sorted by relevance
339 if (input->data.explicit_invariant != output->data.explicit_invariant && in cross_validate_types_and_qualifiers()346 (output->data.explicit_invariant) ? "has" : "lacks", in cross_validate_types_and_qualifiers()348 (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
1133 if (existing->data.explicit_invariant != var->data.explicit_invariant) { in cross_validate_globals()
4026 var->data.explicit_invariant = true; in apply_type_qualifier_to_variable()4236 var->data.explicit_invariant = true; in apply_type_qualifier_to_variable()4976 earlier->data.explicit_invariant = true; in hir()
2052 this->data.explicit_invariant = false; in ir_variable()