On 10/19/22 12:06, Jakub Jelinek wrote:

I have expected (but tell me if that isn't possible) this could be something
done in the new pass_assumptions::execute () rather than vrp and you'd
create the assume_query there (i.e. just for assume_functions) and then
query it solely for ssa_default_def of the parameters and save in
SSA_NAME_RANGE_INFO.

Oh, how do I know I'm processing an assume function?  presumable we could gate the pass on that so its not even invoked on non-assume functions?

Andrew

Reply via email to