Some improvements to static analyzer checking.

Author: Alexander Korotkov

Diff for: Makefile

@@ -26,6 +26,10 @@ include $(top_builddir)/src/Makefile.global
 include $(top_srcdir)/contrib/contrib-global.mk
 endif
 
+ifdef USE_ASSERT_CHECKING
+override CFLAGS += -DUSE_ASSERT_CHECKING
+endif
+
 jsquery_gram.o: jsquery_scan.c
 
 jsquery_gram.c: BISONFLAGS += -d

Diff for: jsonb_gin_ops.c

@@ -462,7 +462,7 @@ make_value_path_entry_handler(ExtractedNode *node, Pointer extra)
 {
 	Entries	   *e = (Entries *)extra;
 	uint32		hash;
-	bool		lossy, partialMatch;
+	bool		lossy, partialMatch = false;
 	GINKey	   *key;
 	KeyExtra   *keyExtra;
 	int			result;
@@ -1175,6 +1175,7 @@ gin_debug_query_path_value(PG_FUNCTION_ARGS)
 	Entries		e = {0};
 	char	   *s;
 
+
 	jq = PG_GETARG_JSQUERY(0);
 	s = debugJsQuery(jq, make_path_value_entry_handler,
 										check_path_value_entry_handler, (Pointer)&e);

Diff for: jsquery_op.c

@@ -221,7 +221,7 @@ checkScalarIn(JsQueryItem *jsq, JsonbValue *jb)
 static bool
 executeArrayOp(JsQueryItem *jsq, int32 op, JsonbValue *jb)
 {
-	int32			r;
+	int32			r = 0; /* keep static analyzer quiet */
 	JsonbIterator	*it;
 	JsonbValue		v;
 	JsQueryItem	elem;

Diff for: travis/pg-travis-test.sh

@@ -36,7 +36,7 @@ if [ $CHECK_CODE = "true" ]; then
 	if [ "$CC" = "clang" ]; then
 		sudo apt-get -y install -qq clang-$LLVM_VER
 
-		scan-build-$LLVM_VER --status-bugs make USE_PGXS=1 PG_CONFIG=$config_path || status=$?
+		scan-build-$LLVM_VER --status-bugs make USE_PGXS=1 USE_ASSERT_CHECKING=1 PG_CONFIG=$config_path || status=$?
 		exit $status
 
 	elif [ "$CC" = "gcc" ]; then