I am using
ScalarEvolution::isKnownPositive for my project. Sometimes the expressions that I pass in have known ranges (e.g., x >= 2) that Scalar Evolution doesn’t know about (in my case these constraints only hold in some paths). Is there a way for me to pass that range constraint along?
I should add that I am trying to avoid modifying or making my modified version of