From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6249925d5f58c31,start
X-Google-Attributes: gid103376,public
From: Martin Kristensson <d95krima@dtek.chalmers.se>
Subject: Intermediate expressions and modular types
Date: 1997/10/18
Message-ID: <344898BA.7361@dtek.chalmers.se>#1/1
X-Deja-AN: 281532516
Organization: Chalmers University of Technology, Sweden
Newsgroups: comp.lang.ada
Date: 1997-10-18T00:00:00+00:00
List-Id: <comp.lang.ada>


-- Ada95
type Modular is mod 2**32;
procedure Test(ModA, ModB : in Modular) is
   X : Integer;
begin
   X := Integer(ModA - ModB);
end Test;

The intermediate expression (ModA - ModB) is calculated modulo 2**32 by
compiler A, but not by compiler B.
Which is right?

Surely the correct behavior must be stated in the RM, but where?

Thanks for your help,
/Martin.