https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78501
--- Comment #2 from prathamesh3492 at gcc dot gnu.org --- Hi, From the trace, it seems ptrdiff_type_node is set to NULL for ada ? Either we can guard setting range for CFN_BUILTIN_STRLEN by checking ptrtdiff_type_node is non null, or make vrp_val_max return NULL if type is NULL. I am trying to reproduce on x86_64-unknown-linux-gnu. Thanks, Prathamesh