app: aboot: Modify the integer overflow check
If the code is compiled on an architecture which supports 64-bit integer
primitive, then the start and size will be promoted to 64-bit integers
and hence overflow will not be detected. So modify the boundary check to
detect integer overflow.
CRs-Fixed: 590434
Change-Id: I1f93972c12d155f8d06dd6aeedd3e8f2ea09c2f1
diff --git a/app/aboot/aboot.c b/app/aboot/aboot.c
index 56252b8..41c05ef 100755
--- a/app/aboot/aboot.c
+++ b/app/aboot/aboot.c
@@ -555,7 +555,7 @@
int check_aboot_addr_range_overlap(uint32_t start, uint32_t size)
{
/* Check for boundary conditions. */
- if ((start + size) < start)
+ if ((UINT_MAX - start) < size)
return -1;
/* Check for memory overlap. */