Searched refs:invariant_ptr_t (Results 1 – 3 of 3) sorted by relevance
5143 typedef invariant_t *invariant_ptr_t; typedef5147 static vec<invariant_ptr_t> invariants;5175 static invariant_ptr_t5180 invariant_ptr_t invariant_ptr; in insert_invariant()5192 return (invariant_ptr_t) *entry_ptr; in insert_invariant()6039 invariant_ptr_t invariant_ptr; in process_invariant_for_inheritance()
5273 typedef invariant_t *invariant_ptr_t; typedef5277 static vec<invariant_ptr_t> invariants;5305 static invariant_ptr_t5310 invariant_ptr_t invariant_ptr; in insert_invariant()5322 return (invariant_ptr_t) *entry_ptr; in insert_invariant()6178 invariant_ptr_t invariant_ptr; in process_invariant_for_inheritance()
16681 (struct invariant, invariant_t, invariant_ptr_t): New.