From: Dmitry Volyntsev <xeioex@nginx.com>
Date: Tue, 7 Jul 2020 12:23:44 +0000 (+0000)
Subject: Silenced Coverity false-positive NULL-pointer dereference warning.
X-Git-Tag: 0.4.2~4
X-Git-Url: http://git.kaiwu.me/postgresql/log/contrib/postgres_fdw/static/gitweb.js?a=commitdiff_plain;h=fb9731009ddbcdb7ba009bf444d02c743482c59d;p=njs.git

Silenced Coverity false-positive NULL-pointer dereference warning.

Found by Coverity (CID 1463869).
---

diff --git a/src/njs_parser.c b/src/njs_parser.c
index 89ab9bf9..af2a8948 100644
--- a/src/njs_parser.c
+++ b/src/njs_parser.c
@@ -1799,6 +1799,9 @@ njs_parser_property_name(njs_parser_t *parser, njs_queue_link_t *current,
 
     if (consume > 1) {
         token = njs_lexer_token(parser->lexer, 0);
+        if (token == NULL) {
+            return NJS_ERROR;
+        }
 
         property = njs_parser_property_name_node(parser, token);
         if (property == NULL) {