New Defects reported by Coverity Scan for coreboot

Hi,

Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.

1 new defect(s) introduced to coreboot found with Coverity Scan.
1 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.

New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)

** CID 1499913:  Integer handling issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/drivers/arm/gic/v3/gicv3_main.c: 1109 in gicv3_raise_sgi()

________________________________________________________________________________________________________
*** CID 1499913:  Integer handling issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/drivers/arm/gic/v3/gicv3_main.c: 1109 in gicv3_raise_sgi()
1103     		u_register_t target)
1104     {
1105     	unsigned int tgt, aff3, aff2, aff1, aff0;
1106     	uint64_t sgi_val;
1107     
1108     	/* Verify interrupt number is in the SGI range */
> > > CID 1499913:  Integer handling issues  (NO_EFFECT)
> > > This greater-than-or-equal-to-zero comparison of an unsigned value is always true. "sgi_num >= 0U".

1109     	assert((sgi_num >= MIN_SGI_ID) && (sgi_num < MIN_PPI_ID));
1110     
1111     	/* Extract affinity fields from target */
1112     	aff0 = MPIDR_AFFLVL0_VAL(target);
1113     	aff1 = MPIDR_AFFLVL1_VAL(target);
1114     	aff2 = MPIDR_AFFLVL2_VAL(target);

________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0...