RE: - Why does this compile?

From: null <">
Date: Wed, 10 Oct 2007 07:28:04 +0000

----boundary-LibPST-iamunique-494681658_-_-
Content-type: text/plain

Hi Rex,

> Yes, thanks. It just came as a surprise that it does
> not even attempt to check array bounds at compile time.
>

oops, not exactly. It does check at compile time, since

        MODULE TestBug;

        PROCEDURE Crash*;
          CONST i = 800;
          VAR a: ARRAY 4 OF REAL;
        BEGIN
          a[i]:= i
        END Crash;

        END TestBug.Crash

doesn't compile ...

regards

--
	Bernhard Treutwein, IuK, Ref. III A 3
	Bernhard.Treutwein(at)verwaltung uni-muenchen de
> -----Original Message-----
> From: blackbox{([at]})nowhere.xy> Behalf Of Rex Couture
> Sent: Tuesday, October 09, 2007 5:14 PM
> To: BlackBox Mailing List
> Subject: [BlackBox] - Why does this compile?
> 
> 
> At 01:42 AM 10/9/2007, Bernhard Treutwein wrote:
> >it compiles for the same reason why the following
> >compiles:
> >
> >PROCEDURE Crash*;
> >VAR i: INTEGER; a: ARRAY 4 OF REAL;
> >BEGIN
> >  i:= -800;
> >  a[i]:= i 
> >END Crash;
> 
> 
>         Yes, thanks.  It just came as a surprise that it does 
> not even attempt to check array bounds at compile time.
> 
> Rex Couture
> 
> --- BlackBox
> --- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy> 
> 
----boundary-LibPST-iamunique-494681658_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhpIFJleCxccGFyDQpccGFyDQo+IFllcywgdGhh
bmtzLiAgSXQganVzdCBjYW1lIGFzIGEgc3VycHJpc2UgdGhhdCBpdCBkb2VzIFxwYXINCj4gbm90
IGV2ZW4gYXR0ZW1wdCB0byBjaGVjayBhcnJheSBib3VuZHMgYXQgY29tcGlsZSB0aW1lLlxwYXIN
Cj4gXHBhcg0KXHBhcg0Kb29wcywgbm90IGV4YWN0bHkuIEl0IGRvZXMgY2hlY2sgYXQgY29tcGls
ZSB0aW1lLCBzaW5jZVxwYXINClxwYXINClx0YWIgTU9EVUxFIFRlc3RCdWc7XHBhcg0KXHBhcg0K
XHRhYiBQUk9DRURVUkUgQ3Jhc2gqO1xwYXINClx0YWIgICBDT05TVCBpID0gODAwO1xwYXINClx0
YWIgICBWQVIgYTogQVJSQVkgNCBPRiBSRUFMOyBccGFyDQpcdGFiIEJFR0lOXHBhcg0KXHRhYiAg
IGFbaV06PSBpIFxwYXINClx0YWIgRU5EIENyYXNoO1xwYXINClxwYXINClx0YWIgRU5EIFRlc3RC
dWcuQ3Jhc2hccGFyDQpccGFyDQpkb2Vzbid0IGNvbXBpbGUgLi4uXHBhcg0KXHBhcg0KcmVnYXJk
c1xwYXINCi0tXHBhcg0KXHRhYiBCZXJuaGFyZCBUcmV1dHdlaW4sIEl1SywgUmVmLiBJSUkgQSAz
XHBhcg0KXHRhYiBCZXJuaGFyZC5UcmV1dHdlaW4oYXQpdmVyd2FsdHVuZyB1bmktbXVlbmNoZW4g
ZGVccGFyDQpccGFyDQo+IC0tLS0tT3JpZ2luYWwgTWVzc2FnZS0tLS0tXHBhcg0KPiBGcm9tOiBi
bGFja2JveEBvYmVyb24uY2ggW21haWx0bzpibGFja2JveEBvYmVyb24uY2hdIE9uIFxwYXINCj4g
QmVoYWxmIE9mIFJleCBDb3V0dXJlXHBhcg0KPiBTZW50OiBUdWVzZGF5LCBPY3RvYmVyIDA5LCAy
MDA3IDU6MTQgUE1ccGFyDQo+IFRvOiBCbGFja0JveCBNYWlsaW5nIExpc3RccGFyDQo+IFN1Ympl
Y3Q6IFtCbGFja0JveF0gLSBXaHkgZG9lcyB0aGlzIGNvbXBpbGU/XHBhcg0KPiBccGFyDQo+IFxw
YXINCj4gQXQgMDE6NDIgQU0gMTAvOS8yMDA3LCBCZXJuaGFyZCBUcmV1dHdlaW4gd3JvdGU6XHBh
cg0KPiA+aXQgY29tcGlsZXMgZm9yIHRoZSBzYW1lIHJlYXNvbiB3aHkgdGhlIGZvbGxvd2luZ1xw
YXINCj4gPmNvbXBpbGVzOlxwYXINCj4gPlxwYXINCj4gPlBST0NFRFVSRSBDcmFzaCo7XHBhcg0K
PiA+VkFSIGk6IElOVEVHRVI7IGE6IEFSUkFZIDQgT0YgUkVBTDtccGFyDQo+ID5CRUdJTlxwYXIN
Cj4gPiAgaTo9IC04MDA7XHBhcg0KPiA+ICBhW2ldOj0gaSBccGFyDQo+ID5FTkQgQ3Jhc2g7XHBh
cg0KPiBccGFyDQo+IFxwYXINCj4gICAgICAgICBZZXMsIHRoYW5rcy4gIEl0IGp1c3QgY2FtZSBh
cyBhIHN1cnByaXNlIHRoYXQgaXQgZG9lcyBccGFyDQo+IG5vdCBldmVuIGF0dGVtcHQgdG8gY2hl
Y2sgYXJyYXkgYm91bmRzIGF0IGNvbXBpbGUgdGltZS5ccGFyDQo+IFxwYXINCj4gUmV4IENvdXR1
cmVccGFyDQo+IFxwYXINCj4gLS0tIEJsYWNrQm94XHBhcg0KPiAtLS0gc2VuZCBzdWJqZWN0IEhF
TFAgb3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KfX0AaW1lT0xFOiBQ
cm9kdWM=
----boundary-LibPST-iamunique-494681658_-_---

Received on Wed Oct 10 2007 - 09:28:04 UTC