https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117088
--- Comment #3 from Jan Hubicka <hubicka at ucw dot cz> --- > digits_2.isra (1); > > so we at least know row is [1, +INF] since the add is signed. > > We might be able to use a SCEV-like range computation for recursive cases like > this, then being able to compute [2, 8] for the recursion invocation. Not > sure whether doing this in local VRP is possible and how much of help symtab > is here (single caller). ipa-prop already understands that the recursion depth is bounded by 10 for cloning reasons, so perhaps this can be turned to value range easily? Honza
