Home
last modified time | relevance | path

Searched refs:IsFeasible (Results 1 – 2 of 2) sorted by relevance

/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp84 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux() local
85 return IsFeasible ? State : nullptr; in assumeAux()
/external/llvm-project/polly/lib/Analysis/
DScopInfo.cpp1984 bool IsFeasible = !(PositiveContext.is_empty() || in hasFeasibleRuntimeContext() local
1986 if (!IsFeasible) in hasFeasibleRuntimeContext()
1990 IsFeasible = !DomainContext.is_subset(NegativeContext); in hasFeasibleRuntimeContext()
1991 IsFeasible &= !getContext().is_subset(NegativeContext); in hasFeasibleRuntimeContext()
1993 return IsFeasible; in hasFeasibleRuntimeContext()