- Why does this compile?

From: Treutwein Bernhard <"Treutwein>
Date: Tue, 9 Oct 2007 08:42:54 +0200

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

Hi Rex,

it compiles for the same reason why the following
compiles:

MODULE TestBug;

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


END TestBug.Crash

But it traps with an index out of range during runtime.

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: Monday, October 08, 2007 8:31 PM
> To: BlackBox Mailing List
> Subject: [BlackBox] - Why does this compile?
> 
> 
>         This is too simple.  What am I missing?  Why does it 
> compile when the compiler should be able to see the errors?
> 
> Rex Couture
> 
> =======> MODULE TestBug;
> 
> PROCEDURE Open* (dev: ARRAY 256 OF SHORTCHAR;
>                                       VAR devConf: ARRAY 256 
> OF SHORTCHAR); VAR i: INTEGER; BEGIN
> FOR i:= -1000000 TO 1000000 DO      (* Why does this compile? *)
>         devConf[i]:= dev[i] END
> END Open;
>                 
> PROCEDURE RealBug*( a: ARRAY 4 OF REAL; VAR sum: REAL);
> VAR i: INTEGER;
> BEGIN
> FOR i:= -800 TO 1000 DO    (* Why does this compile?  *)
>         a[i]:= i END;
> END RealBug;
> 
> END TestBug. 
> 
> --- BlackBox
> --- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy> 
> 
--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy----boundary-LibPST-iamunique-1919448360_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhpIFJleCxccGFyDQpccGFyDQppdCBjb21waWxl
cyBmb3IgdGhlIHNhbWUgcmVhc29uIHdoeSB0aGUgZm9sbG93aW5nXHBhcg0KY29tcGlsZXM6XHBh
cg0KXHBhcg0KTU9EVUxFIFRlc3RCdWc7XHBhcg0KXHBhcg0KUFJPQ0VEVVJFIENyYXNoKjtccGFy
DQpWQVIgaTogSU5URUdFUjsgYTogQVJSQVkgNCBPRiBSRUFMOyBccGFyDQpCRUdJTlxwYXINCiAg
aTo9IC04MDA7XHBhcg0KICBhW2ldOj0gaSBccGFyDQpFTkQgQ3Jhc2g7XHBhcg0KXHBhcg0KXHBh
cg0KRU5EIFRlc3RCdWcuQ3Jhc2hccGFyDQpccGFyDQpCdXQgaXQgdHJhcHMgd2l0aCBhbiBpbmRl
eCBvdXQgb2YgcmFuZ2UgZHVyaW5nIHJ1bnRpbWUuXHBhcg0KXHBhcg0KcmVnYXJkc1xwYXINCi0t
XHBhcg0KXHRhYiBCZXJuaGFyZCBUcmV1dHdlaW4sIEl1SywgUmVmLiBJSUkgQSAzXHBhcg0KXHRh
YiBCZXJuaGFyZC5UcmV1dHdlaW4oYXQpdmVyd2FsdHVuZyB1bmktbXVlbmNoZW4gZGVccGFyDQpc
cGFyDQo+IC0tLS0tT3JpZ2luYWwgTWVzc2FnZS0tLS0tXHBhcg0KPiBGcm9tOiBibGFja2JveEBv
YmVyb24uY2ggW21haWx0bzpibGFja2JveEBvYmVyb24uY2hdIE9uIFxwYXINCj4gQmVoYWxmIE9m
IFJleCBDb3V0dXJlXHBhcg0KPiBTZW50OiBNb25kYXksIE9jdG9iZXIgMDgsIDIwMDcgODozMSBQ
TVxwYXINCj4gVG86IEJsYWNrQm94IE1haWxpbmcgTGlzdFxwYXINCj4gU3ViamVjdDogW0JsYWNr
Qm94XSAtIFdoeSBkb2VzIHRoaXMgY29tcGlsZT9ccGFyDQo+IFxwYXINCj4gXHBhcg0KPiAgICAg
ICAgIFRoaXMgaXMgdG9vIHNpbXBsZS4gIFdoYXQgYW0gSSBtaXNzaW5nPyAgV2h5IGRvZXMgaXQg
XHBhcg0KPiBjb21waWxlIHdoZW4gdGhlIGNvbXBpbGVyIHNob3VsZCBiZSBhYmxlIHRvIHNlZSB0
aGUgZXJyb3JzP1xwYXINCj4gXHBhcg0KPiBSZXggQ291dHVyZVxwYXINCj4gXHBhcg0KPiA9PT09
PT09PT09PT09PT1ccGFyDQo+IE1PRFVMRSBUZXN0QnVnO1xwYXINCj4gXHBhcg0KPiBQUk9DRURV
UkUgT3BlbiogKGRldjogQVJSQVkgMjU2IE9GIFNIT1JUQ0hBUjtccGFyDQo+ICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgVkFSIGRldkNvbmY6IEFSUkFZIDI1NiBccGFyDQo+
IE9GIFNIT1JUQ0hBUik7IFZBUiBpOiBJTlRFR0VSOyBCRUdJTlxwYXINCj4gRk9SIGk6PSAtMTAw
MDAwMCBUTyAxMDAwMDAwIERPICAgICAgKCogV2h5IGRvZXMgdGhpcyBjb21waWxlPyAqKVxwYXIN
Cj4gICAgICAgICBkZXZDb25mW2ldOj0gZGV2W2ldIEVORFxwYXINCj4gRU5EIE9wZW47XHBhcg0K
PiAgICAgICAgICAgICAgICAgXHBhcg0KPiBQUk9DRURVUkUgUmVhbEJ1ZyooIGE6IEFSUkFZIDQg
T0YgUkVBTDsgVkFSIHN1bTogUkVBTCk7XHBhcg0KPiBWQVIgaTogSU5URUdFUjtccGFyDQo+IEJF
R0lOXHBhcg0KPiBGT1IgaTo9IC04MDAgVE8gMTAwMCBETyAgICAoKiBXaHkgZG9lcyB0aGlzIGNv
bXBpbGU/ICAqKVxwYXINCj4gICAgICAgICBhW2ldOj0gaSBFTkQ7XHBhcg0KPiBFTkQgUmVhbEJ1
ZztccGFyDQo+IFxwYXINCj4gRU5EIFRlc3RCdWcuIFxwYXINCj4gXHBhcg0KPiAtLS0gQmxhY2tC
b3hccGFyDQo+IC0tLSBzZW5kIHN1YmplY3QgSEVMUCBvciBVTlNVQlNDUklCRSB0byBibGFja2Jv
eEBvYmVyb24uY2hccGFyDQo+IFxwYXINCj4gXHBhcg0KXHBhcg0KLS0tIEJsYWNrQm94XHBhcg0K
LS0tIHNlbmQgc3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJFIHRvIGJsYWNrYm94QG9iZXJvbi5j
aFxwYXINCn19AHJvbi4
----boundary-LibPST-iamunique-1919448360_-_---
Received on Tue Oct 09 2007 - 08:42:54 UTC

This archive was generated by hypermail 2.3.0 : Thu Sep 26 2013 - 06:31:17 UTC