Searched refs:PollyRemarksMinimal (Results 1 – 1 of 1) sorted by relevance
121 static cl::opt<bool> PollyRemarksMinimal( variable2060 if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign)) in trackAssumption()2064 if (!PollyRemarksMinimal) { in trackAssumption()