From e6721eb67df863253180e455832519940b6069a6 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 3 Jun 2023 01:33:22 +0200 Subject: [PATCH] =?utf8?q?Silence=20"use=20of=20possibly-NULL=20=E2=80=98s?= =?utf8?q?tring=E2=80=99=20where=20non-null=20expected"=20warning.?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit * gettext-tools/src/write-po.c (make_range_description_string): Assume that this xasprintf call returns non-NULL. --- gettext-tools/src/write-po.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gettext-tools/src/write-po.c b/gettext-tools/src/write-po.c index 7bc4ee692..875ced539 100644 --- a/gettext-tools/src/write-po.c +++ b/gettext-tools/src/write-po.c @@ -121,7 +121,9 @@ has_significant_format_p (const enum is_format is_format[NFORMATS]) char * make_range_description_string (struct argument_range range) { - return xasprintf ("range: %d..%d", range.min, range.max); + char *result = xasprintf ("range: %d..%d", range.min, range.max); + assume (result != NULL); + return result; } -- 2.47.2