From fb9731009ddbcdb7ba009bf444d02c743482c59d Mon Sep 17 00:00:00 2001 From: Dmitry Volyntsev Date: Tue, 7 Jul 2020 12:23:44 +0000 Subject: [PATCH] Silenced Coverity false-positive NULL-pointer dereference warning. Found by Coverity (CID 1463869). --- src/njs_parser.c | 3 +++ 1 file changed, 3 insertions(+) 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) { -- 2.47.3