From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ac8:5905:0:b0:3d9:650a:7a9f with SMTP id 5-20020ac85905000000b003d9650a7a9fmr1023508qty.3.1680887064511; Fri, 07 Apr 2023 10:04:24 -0700 (PDT) X-Received: by 2002:a25:dfd2:0:b0:b8e:c9f3:7e23 with SMTP id w201-20020a25dfd2000000b00b8ec9f37e23mr415301ybg.2.1680887064241; Fri, 07 Apr 2023 10:04:24 -0700 (PDT) Path: eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 7 Apr 2023 10:04:24 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:fb3e:cc36:708d:f0b1; posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h NNTP-Posting-Host: 2a03:7380:380d:1fb:fb3e:cc36:708d:f0b1 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <56cac028-1a5e-4889-bc84-fa9025ed375en@googlegroups.com> Subject: Re: Constancy of X'Address? From: Maxim Reznik Injection-Date: Fri, 07 Apr 2023 17:04:24 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1246 Xref: feeder.eternal-september.org comp.lang.ada:65075 List-Id: If the type of the object is limited, then the object address is a constant. For other objects there is no such guaranty I guess.