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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,78b2880bc7e78e39
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-03-29 11:12:05 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!newspump.monmouth.com!newspeer.monmouth.com!nntp.newsfirst.net!newshub.more.net!news.more.net!silver.truman.edu!150.243.170.1
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
References: <mailman.985835690.10322.comp.lang.ada@ada.eu.org>
Subject: Re: RISC
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Message-ID: <3ac38613.0@silver.truman.edu>
Date: Thu, 29 Mar 2001 13:07:15 -0600
NNTP-Posting-Host: 150.243.160.9
X-Trace: news.more.net 985892559 150.243.160.9 (Thu, 29 Mar 2001 13:02:39 CST)
NNTP-Posting-Date: Thu, 29 Mar 2001 13:02:39 CST
Xref: supernews.google.com comp.lang.ada:6215
Date: 2001-03-29T13:07:15-06:00
List-Id: <comp.lang.ada>


"Beard, Frank" <beardf@spawar.navy.mil> wrote in message
news:mailman.985835690.10322.comp.lang.ada@ada.eu.org...
>    For multiplication:
>
>       Register := ...
>
>       New_Value := Register * delta;
>
>       if (New_Value < Register) then
>          -- overflow
>        else
>          Register := New_Value;
>       end if;
>

Let delta = 0 and Register > 0. The result will be an overflow.