Silence "use of possibly-NULL ‘class_name’" warnings.

* gettext-tools/src/write-java.c: Include verify.h.
(msgdomain_write_java): Assume that this xasprintf call returns non-NULL.

diff --git a/gettext-tools/src/write-java.c b/gettext-tools/src/write-java.c
index 7c62effb28e6532528182daa973e3a4c02167b84..1cf5534622d09151199e2954f7e600ca2fb07818 100644 (file)
--- a/gettext-tools/src/write-java.c
+++ b/gettext-tools/src/write-java.c
@@ -58,6 +58,7 @@
 #include "error.h"
 #include "xerror.h"
 #include "xvasprintf.h"
+#include "verify.h"
 #include "javacomp.h"
 #include "message.h"
 #include "msgfmt.h"
@@ -1099,7 +1100,10 @@ msgdomain_write_java (message_list_ty *mlp, const char *canon_encoding,
     }
 
   if (locale_name != NULL)
-    class_name = xasprintf ("%s_%s", resource_name, locale_name);
+    {
+      class_name = xasprintf ("%s_%s", resource_name, locale_name);
+      assume (class_name != NULL);
+    }
   else
     class_name = xstrdup (resource_name);