----boundary-LibPST-iamunique-913595887_-_-
Content-type: text/plain
> -----Original Message-----
> From: blackbox{([at]})nowhere.xy> Behalf Of Wojtek Skulski
> Sent: Wednesday, 14 June 2006 8:53 AM
> To: BlackBox Mailing List
> Subject: [BlackBox] - Compiler options -- from ASSERT fault?
>
> On Tue, 13 Jun 2006, Rex Couture wrote:
>
> > Amazing! Gérard Meunier has decoded the compiler options
> in some detail.
> > The most interesting thing I notice is that overflow checks
> and range
> > checks are not enabled by default.
>
> What?! I run lots of matrix code. Each time the index is not
> right the code will trap. I never saw it otherwise.
>
> My experience is with BB 1.4. Does it mean that the safety
> net was loosened in BB 1.5? Somehow I cannot believe.
>
I don't think so. Have a look at the source code to DevCompiler.odc in 1.5:
-------------------------------------------
(* compiler options: *)
checks = 0; allchecks = 1; assert = 2; obj = 3; ref = 4; allref = 5; srcpos
= 6; reallib = 7; signatures = 8;
hint = 29; oberon = 30; errorTrap = 31;
defopt = {checks, assert, obj, ref, allref, srcpos (*, signatures *)};
-------------------------------------------
If you use the normal DevCompile command the set of options is initialised
to defopt. You need to use the alternative DevCompileOpt command if you want
to change the options from their defaults.
I agree with everybody else who has advised caution with their use. They
should only be used in exceptional circumstances by those who fully
understand what the potential pitfalls are. Don't run with scissors!
Chris Burrows
CFB Software
http://www.cfbsoftware.com/gpcp
--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy
----boundary-LibPST-iamunique-913595887_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCA+IC0tLS0tT3JpZ2luYWwgTWVz
c2FnZS0tLS0tXHBhcg0KPiBGcm9tOiBibGFja2JveEBvYmVyb24uY2ggW21haWx0bzpibGFja2Jv
eEBvYmVyb24uY2hdIE9uIFxwYXINCj4gQmVoYWxmIE9mIFdvanRlayBTa3Vsc2tpXHBhcg0KPiBT
ZW50OiBXZWRuZXNkYXksIDE0IEp1bmUgMjAwNiA4OjUzIEFNXHBhcg0KPiBUbzogQmxhY2tCb3gg
TWFpbGluZyBMaXN0XHBhcg0KPiBTdWJqZWN0OiBbQmxhY2tCb3hdIC0gQ29tcGlsZXIgb3B0aW9u
cyAtLSBmcm9tIEFTU0VSVCBmYXVsdD9ccGFyDQo+IFxwYXINCj4gT24gVHVlLCAxMyBKdW4gMjAw
NiwgUmV4IENvdXR1cmUgd3JvdGU6XHBhcg0KPiBccGFyDQo+ID4gQW1hemluZyEgIEdcJ2U5cmFy
ZCBNZXVuaWVyIGhhcyBkZWNvZGVkIHRoZSBjb21waWxlciBvcHRpb25zIFxwYXINCj4gaW4gc29t
ZSBkZXRhaWwuXHBhcg0KPiA+IFRoZSBtb3N0IGludGVyZXN0aW5nIHRoaW5nIEkgbm90aWNlIGlz
IHRoYXQgb3ZlcmZsb3cgY2hlY2tzIFxwYXINCj4gYW5kIHJhbmdlIFxwYXINCj4gPiBjaGVja3Mg
YXJlIG5vdCBlbmFibGVkIGJ5IGRlZmF1bHQuXHBhcg0KPiBccGFyDQo+IFdoYXQ/ISBJIHJ1biBs
b3RzIG9mIG1hdHJpeCBjb2RlLiBFYWNoIHRpbWUgdGhlIGluZGV4IGlzIG5vdCBccGFyDQo+IHJp
Z2h0IHRoZSBjb2RlIHdpbGwgdHJhcC4gSSBuZXZlciBzYXcgaXQgb3RoZXJ3aXNlLlxwYXINCj4g
XHBhcg0KPiBNeSBleHBlcmllbmNlIGlzIHdpdGggQkIgMS40LiBEb2VzIGl0IG1lYW4gdGhhdCB0
aGUgc2FmZXR5IFxwYXINCj4gbmV0IHdhcyBsb29zZW5lZCBpbiBCQiAxLjU/IFNvbWVob3cgSSBj
YW5ub3QgYmVsaWV2ZS5ccGFyDQo+IFxwYXINClxwYXINCkkgZG9uJ3QgdGhpbmsgc28uIEhhdmUg
YSBsb29rIGF0IHRoZSBzb3VyY2UgY29kZSB0byBEZXZDb21waWxlci5vZGMgaW4gMS41OlxwYXIN
ClxwYXINCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS1ccGFyDQoo
KiBjb21waWxlciBvcHRpb25zOiAqKVxwYXINCmNoZWNrcyA9IDA7IGFsbGNoZWNrcyA9IDE7IGFz
c2VydCA9IDI7IG9iaiA9IDM7IHJlZiA9IDQ7IGFsbHJlZiA9IDU7IHNyY3Bvc1xwYXINCj0gNjsg
cmVhbGxpYiA9IDc7IHNpZ25hdHVyZXMgPSA4O1xwYXINCmhpbnQgPSAyOTsgb2Jlcm9uID0gMzA7
IGVycm9yVHJhcCA9IDMxO1xwYXINClxwYXINCmRlZm9wdCA9IFx7Y2hlY2tzLCBhc3NlcnQsIG9i
aiwgcmVmLCBhbGxyZWYsIHNyY3BvcyAoKiwgc2lnbmF0dXJlcyAqKVx9O1xwYXINCi0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS1ccGFyDQpccGFyDQpJZiB5b3UgdXNl
IHRoZSBub3JtYWwgRGV2Q29tcGlsZSBjb21tYW5kIHRoZSBzZXQgb2Ygb3B0aW9ucyBpcyBpbml0
aWFsaXNlZFxwYXINCnRvIGRlZm9wdC4gWW91IG5lZWQgdG8gdXNlIHRoZSBhbHRlcm5hdGl2ZSBE
ZXZDb21waWxlT3B0IGNvbW1hbmQgaWYgeW91IHdhbnRccGFyDQp0byBjaGFuZ2UgdGhlIG9wdGlv
bnMgZnJvbSB0aGVpciBkZWZhdWx0cy4gXHBhcg0KXHBhcg0KSSBhZ3JlZSB3aXRoIGV2ZXJ5Ym9k
eSBlbHNlIHdobyBoYXMgYWR2aXNlZCBjYXV0aW9uIHdpdGggdGhlaXIgdXNlLiBUaGV5XHBhcg0K
c2hvdWxkIG9ubHkgYmUgdXNlZCBpbiBleGNlcHRpb25hbCBjaXJjdW1zdGFuY2VzIGJ5IHRob3Nl
IHdobyBmdWxseVxwYXINCnVuZGVyc3RhbmQgd2hhdCB0aGUgcG90ZW50aWFsIHBpdGZhbGxzIGFy
ZS4gRG9uJ3QgcnVuIHdpdGggc2Npc3NvcnMhXHBhcg0KXHBhcg0KQ2hyaXMgQnVycm93c1xwYXIN
CkNGQiBTb2Z0d2FyZVxwYXINCmh0dHA6Ly93d3cuY2Zic29mdHdhcmUuY29tL2dwY3BccGFyDQpc
cGFyDQotLS0gQmxhY2tCb3hccGFyDQotLS0gc2VuZCBzdWJqZWN0IEhFTFAgb3IgVU5TVUJTQ1JJ
QkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNofX0AVFJFVVRXRdgDAA=
----boundary-LibPST-iamunique-913595887_-_---
Received on Wed Jun 14 2006 - 02:47:06 UTC