re PR tree-optimization/58689 ([meta-bug] __attribute__((returns_nonnull)) enhancements)