Searched refs:PURE_PARAM (Results 1 – 1 of 1) sorted by relevance
290 #define PURE_PARAM 1 macro324 if (div_purity[i] != PURE_PARAM) in parametric_constant_never_positive()366 case PURE_PARAM: p = 1; break; in purity()374 return PURE_PARAM; in purity()424 case PURE_PARAM: p = 1; break; in get_div_purity()429 div_purity[i] = v ? p ? IMPURE : PURE_VAR : PURE_PARAM; in get_div_purity()483 if (p != PURE_VAR && p != PURE_PARAM && !*impurity) in add_delta_constraints()503 } else if (p == PURE_PARAM) { in add_delta_constraints()