> Attached is an updated version of the original patch described
> below to annotate with the nonnull attribute the Built-In Functions
> to Perform Arithmetic with Overflow Checking.
3 out of 5 ChangeLog entries are incorrect:
gcc/ada/ChangeLog:
PR c/71392
* gcc/ada/gcc-interface
On Thu, 9 Jun 2016, Martin Sebor wrote:
> Attached is an updated version of the original patch described
> below to annotate with the nonnull attribute the Built-In Functions
> to Perform Arithmetic with Overflow Checking.
>
> Since the machinery that's in place doesn't handle the attribute
> on
On 06/09/2016 12:34 PM, Martin Sebor wrote:
Attached is an updated version of the original patch described
below to annotate with the nonnull attribute the Built-In Functions
to Perform Arithmetic with Overflow Checking.
Since the machinery that's in place doesn't handle the attribute
on type-ge
Attached is an updated version of the original patch described
below to annotate with the nonnull attribute the Built-In Functions
to Perform Arithmetic with Overflow Checking.
Since the machinery that's in place doesn't handle the attribute
on type-generic built-ins changes to the (handle_nonnul
In a discussion of a patch in a this area (c/68120 and c++/70507)
Jakub noticed that the integer arithmetic built-ins with overflow
checking that expect a pointer to an integer as the last argument
silently (i.e., without a warning) accept a null pointer. As the
test case in the bug referenced in
