Weak ECC check

[stefano-zanotti]

The function _lx_nand_flash_256byte_ecc_check cannot properly detect single-bit errors in the ECC bytes themselves.
Such single-bit errors result in a LX_NAND_ERROR_NOT_CORRECTED return result from the function.

Repro:

UCHAR buff[256];
memset(buff, 0xFF, 256);
UCHAR ecc[3];
lx_nand_flash_256byte_ecc_compute(buff, ecc); // this results in an ECC of {0xFF, 0xFF, 0xFF}
ecc[0] ^= 0x1;
UINT res = lx_nand_flash_256byte_ecc_check((UCHAR*)buff, (UCHAR*)ecc); // this returns LX_NAND_ERROR_NOT_CORRECTED

The same code, injecting an error in the data rather than the ECC:

UCHAR buff[256];
memset(buff, 0xFF, 256);
UCHAR ecc[3];
lx_nand_flash_256byte_ecc_compute(buff, ecc); // this results in an ECC of {0xFF, 0xFF, 0xFF}
buff[0] ^= 0x1; // <<-- CHANGED HERE
UINT res = lx_nand_flash_256byte_ecc_check((UCHAR*)buff, (UCHAR*)ecc); // this works correctly, and returns LX_NAND_ERROR_CORRECTED

I don't know the details of the ECC algorithm used here (whether the ECC is actually strong enough to reliably correct all 1-bit errors in the data or ECC itself, and to reliably detect all 2-bit errors), but maybe a simple fix would be the following?
Here:

levelx/common/src/lx_nand_flash_256byte_ecc_check.c

Lines 135 to 144 in 24eb7d8

	/* Determine if there are any errors. */
	if (error_count == 0)
	{
	/* Everything is okay, return success. */
	return(LX_SUCCESS);
	}
	/* Was a correctable error discovered? */
	else if (error_count == 11)

add a check:

/* Was a correctable error discovered in the ECC itself?  */
else if (error_count == 1) {
	/* Error in the ECC: nothing to actually correct in the data */
	return(LX_NAND_ERROR_CORRECTED);
}