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 1469611: (OVERRUN)
/src/soc/amd/cezanne/psp_verstage/uart.c: 16 in get_uart_base()
/src/soc/amd/cezanne/psp_verstage/uart.c: 25 in get_uart_base()
/src/soc/amd/cezanne/psp_verstage/uart.c: 17 in get_uart_base()
________________________________________________________________________________________________________
*** CID 1469611: (OVERRUN)
/src/soc/amd/cezanne/psp_verstage/uart.c: 16 in get_uart_base()
10 {
11 uint32_t err;
12
13 if (idx > ARRAY_SIZE(uart_bars))
14 return 0;
15
>>> CID 1469611: (OVERRUN)
>>> Overrunning array "uart_bars" of 1 4-byte elements at element index 1
>>> (byte offset 7) using index "idx" (which evaluates to 1).
16 if (uart_bars[idx])
17 return (uintptr_t)uart_bars[idx];
18
19 err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20 if (err) {
21 svc_debug_print("Failed to map UART\n");
/src/soc/amd/cezanne/psp_verstage/uart.c: 25 in get_uart_base()
19 err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20 if (err) {
21 svc_debug_print("Failed to map UART\n");
22 return 0;
23 }
24
>>> CID 1469611: (OVERRUN)
>>> Overrunning array "uart_bars" of 1 4-byte elements at element index 1
>>> (byte offset 7) using index "idx" (which evaluates to 1).
25 return (uintptr_t)uart_bars[idx];
/src/soc/amd/cezanne/psp_verstage/uart.c: 17 in get_uart_base()
11 uint32_t err;
12
13 if (idx > ARRAY_SIZE(uart_bars))
14 return 0;
15
16 if (uart_bars[idx])
>>> CID 1469611: (OVERRUN)
>>> Overrunning array "uart_bars" of 1 4-byte elements at element index 1
>>> (byte offset 7) using index "idx" (which evaluates to 1).
17 return (uintptr_t)uart_bars[idx];
18
19 err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20 if (err) {
21 svc_debug_print("Failed to map UART\n");
22 return 0;
23 }
24
25 return (uintptr_t)uart_bars[idx];
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3Dc4jK_L-2FDzr14mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn2IBYJviNW4Wil94rxQashcpguQloe689yczzzFJQopnAoBVLrlG7YBZ8m2xFZDM97Z7MYQ3vn-2ByGtwGFIHfkx93GwyjbC1FzsBV1YoXaNwNr6nSqcRWs0-2FYbx5mV-2BAtotUE9c19cAPIZG0S-2BWUusKEVAZtCw4-2BA7yVnMYzqEUtsw-3D-3D
_______________________________________________
coreboot mailing list -- [email protected]
To unsubscribe send an email to [email protected]
