Searched refs:NegativeContext (Results 1 – 1 of 1) sorted by relevance
1878 isl::set NegativeContext = getInvalidContext(); in hasFeasibleRuntimeContext() local1882 PositiveContext.is_subset(NegativeContext).is_false(); in hasFeasibleRuntimeContext()