Newly introduced findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:5725:13: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘0’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18363:1: enter_function: entry to ‘dumpConstraint’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18373:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18376:13: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18392:20: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18396:21: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18396:20: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18397:25: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18397:25: call_function: calling ‘binary_upgrade_set_pg_class_oids’ from ‘dumpConstraint’
# 5723|   						 "\n-- For binary upgrade, must preserve pg_class oids and relfilenodes\n");
# 5724|   
# 5725|-> 	if (entry->relkind != RELKIND_INDEX &&
# 5726|   		entry->relkind != RELKIND_PARTITIONED_INDEX)
# 5727|   	{

Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13435:18: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘probin’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13316:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13319:17: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13324:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13394:43: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13399:12: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13409:30: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13431:12: branch_false: following ‘false’ branch (when ‘prosqlbody’ is NULL)...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13435:18: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:13435:18: danger: dereference of NULL ‘probin’
#13433|   		appendPQExpBufferStr(asPart, prosqlbody);
#13434|   	}
#13435|-> 	else if (probin[0] != '\0')
#13436|   	{
#13437|   		appendPQExpBufferStr(asPart, "AS ");

Error: GCC_ANALYZER_WARNING (CWE-476): [#def3]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:21: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘collcollate’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14833:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14836:17: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14896:12: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14901:14: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14901:12: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14910:13: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14910:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:21: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:21: danger: dereference of NULL ‘collcollate’
#14910|   	if (fout->remoteVersion < 150000)
#14911|   	{
#14912|-> 		if (collcollate[0] == '\0')
#14913|   			collcollate = NULL;
#14914|   		if (collctype[0] == '\0')

Error: GCC_ANALYZER_WARNING (CWE-476): [#def4]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14914:21: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘collctype’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14833:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14836:17: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14896:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14897:31: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14901:12: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14910:13: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14910:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:21: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:20: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14912:20: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:14914:21: danger: dereference of NULL ‘collctype’
#14912|   		if (collcollate[0] == '\0')
#14913|   			collcollate = NULL;
#14914|-> 		if (collctype[0] == '\0')
#14915|   			collctype = NULL;
#14916|   	}

Error: GCC_ANALYZER_WARNING (CWE-476): [#def5]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18866:25: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘seq’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18819:12: branch_true: following ‘true’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18825:27: branch_true: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:18866:25: danger: dereference of NULL ‘seq’
#18864|   
#18865|   	/* Calculate default limits for a sequence of this type */
#18866|-> 	is_ascending = (seq->incby >= 0);
#18867|   	if (seq->seqtype == SEQTYPE_SMALLINT)
#18868|   	{

Error: GCC_ANALYZER_WARNING (CWE-476): [#def6]
postgresql-18.3/src/bin/pg_dump/pg_dump.c:19108:21: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘0’
postgresql-18.3/src/bin/pg_dump/pg_dump.c:19075:12: branch_false: following ‘false’ branch...
postgresql-18.3/src/bin/pg_dump/pg_dump.c:19104:27: branch_false: ...to here
postgresql-18.3/src/bin/pg_dump/pg_dump.c:19108:21: danger: dereference of NULL ‘<unknown>’
#19106|   						sizeof(SequenceItem), SequenceItemCmp);
#19107|   
#19108|-> 		if (entry->null_seqtuple)
#19109|   			pg_fatal("failed to get data for sequence \"%s\"; user may lack "
#19110|   					 "SELECT privilege on the sequence or the sequence may "

Scan Properties