This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] Detect most integer overflows.
- From: OndÅej BÃlka <neleai at seznam dot cz>
- To: Marek Polacek <polacek at redhat dot com>
- Cc: Hannes Frederic Sowa <hannes at stressinduktion dot org>, gcc at gnu dot org
- Date: Sun, 27 Oct 2013 12:35:24 +0100
- Subject: Re: [RFC] Detect most integer overflows.
- Authentication-results: sourceware.org; auth=none
- References: <20131026192912 dot GA25428 at domone dot podge> <20131026235014 dot GF18009 at order dot stressinduktion dot org> <20131027064803 dot GA31927 at domone dot podge> <20131027105100 dot GJ27400 at redhat dot com>
On Sun, Oct 27, 2013 at 11:51:00AM +0100, Marek Polacek wrote:
> Or just wait till the integer overflow detection in ubsan is completed.
>
As these computations now are done on unsigned type which has behaviour
defined as modular arithmetic this would not help.