This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] Detect most integer overflows.
- From: Arnaud Charlet <charlet at adacore dot com>
- To: OndÅej BÃlka <neleai at seznam dot cz>
- Cc: "gcc at gnu dot org" <gcc at gnu dot org>
- Date: Sun, 27 Oct 2013 07:21:53 +0100
- Subject: Re: [RFC] Detect most integer overflows.
- Authentication-results: sourceware.org; auth=none
- References: <20131026192912 dot GA25428 at domone dot podge> <20131026194136 dot GA12393 at adacore dot com> <20131026195715 dot GA26465 at domone dot podge>
>>>
>>>
>>>
>> Or alternatively you could use the Ada language where integer overflow
>> and buffer overflows are built into the language are fully handled by
>> the compiler.
>>
> Yeah, I will suggest my boss in our project that cost $1 000 000 to
> fire all C programmers, hire ada programmers instead of
No need to fire them, you can simply train them.
> and rewrite
> it which will cost another $500 000.
You can do this rewrite incrementally on critical parts first/only which won't cost you as much and will bring incremental benefits.
Making major changes to gcc also has a significant cost.
Arno