comp.lang.ada
 help / color / mirror / Atom feed
From: jan.de.kruyf@gmail.com
Subject: Re: Gnat for ARM : are these bugs?
Date: Tue, 19 May 2015 01:42:31 -0700 (PDT)
Date: 2015-05-19T01:42:31-07:00	[thread overview]
Message-ID: <344f4cf7-f880-4aa5-bd7c-15506d364f15@googlegroups.com> (raw)
In-Reply-To: <2cfd12ff-e3dc-44c2-a462-aefd3ff5b8c4@googlegroups.com>



ok,

i was too much in a rush.
Reading the right books enlightened the issues.

Issue 1 is explained by correctly reading the assembly: BGE means signed 'equal or greater'.

issue 2 follows from the definition of a mod type. it will automatically roll over when the result of an operation is too big for the type to contain.

In any case: All, thanks for listening.

j.


  reply	other threads:[~2015-05-19  8:42 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-05-19  7:54 Gnat for ARM : are these bugs? jan.de.kruyf
2015-05-19  8:42 ` jan.de.kruyf [this message]
2015-05-19  8:44 ` Egil H H
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox