Searched refs:Maybe_Impure (Results 1 – 4 of 4) sorted by relevance
2158 | Maybe_Impure =>2170 Set_Purity_State (Spec, Maybe_Impure);2597 Set_Purity_State (Subprg, Maybe_Impure);2639 Set_Purity_State (Subprg, Maybe_Impure);
252 when Maybe_Impure =>
6267 type Iir_Pure_State is (Unknown, Pure, Maybe_Impure, Impure); literal
1003 when Maybe_Impure =>