le without causing an
overflow. The test programs are not written in C, but are licensed
with the GPL, and it would be possible to convert them to C with
reasonable effort. Maybe this is not necessary, because clang must
have some test suites for -ftrapv.
Greetings Thomas Mertes
--
Seed7 Homepage: ht
on assignment works correct.
Overflow checking of incr works correct.
Overflow checking of decr works correct.
Overflow checking of multiplication works correct.
Overflow checking of multiplication assignment works correct.
Greetings Thomas Mertes
--
Seed7 Homepage: http://seed7.sourcefo
On Fri, Jul 25, 2014 at 12:35, Richard Biener
wrote:
> On Fri, Jul 25, 2014 at 10:43 AM, Thomas Mertes wrote:
> > On Thu, Jul 24 at 10:36 PM, Richard Biener
> > wrote:
> >> Fact is that if somebody is interested in
> >> -ftrapv he/she is welcome to contri
On Mon, Jul 28, 2014 at 11:49 AM, Richard Biener
wrote:
> On Sun, Jul 27, 2014 at 9:13 AM, Thomas Mertes wrote:
> > On Fri, Jul 25, 2014 at 12:35, Richard Biener
> > wrote:
> >> On Fri, Jul 25, 2014 at 10:43 AM, Thomas Mertes
> >> wrote:
> >> &g
On Jul 30, 2014, at 16:39 Geert Bosch wrote:
> On Jul 23, 2014, at 10:56 AM, Thomas Mertes wrote:
>
> > One such feature is the detection of signed integer overflow. It is
> > not hard, to detect signed integer overflow with a generated C
> > program, but the perf
