[PATCH] avoid false positives due to signed to unsigned conversion (PR 78973)

2017-01-05 Thread Martin Sebor
When the size passed to a call to a function like memcpy is a signed integer whose range has a negative lower bound and a positive upper bound the lower bound of the range of the argument after conversion to size_t may be in excess of the maximum object size (PTRDIFF_MAX by default). This results

Re: [PATCH] avoid false positives due to signed to unsigned conversion (PR 78973)

2017-01-06 Thread Jeff Law
On 01/05/2017 02:53 PM, Martin Sebor wrote: When the size passed to a call to a function like memcpy is a signed integer whose range has a negative lower bound and a positive upper bound the lower bound of the range of the argument after conversion to size_t may be in excess of the maximum object

Re: [PATCH] avoid false positives due to signed to unsigned conversion (PR 78973)

2017-01-07 Thread Martin Sebor
On 01/06/2017 01:55 PM, Jeff Law wrote: On 01/05/2017 02:53 PM, Martin Sebor wrote: When the size passed to a call to a function like memcpy is a signed integer whose range has a negative lower bound and a positive upper bound the lower bound of the range of the argument after conversion to size