----boundary-LibPST-iamunique-1328102058_-_-
Content-type: text/plain
Rainer,
this definitely looks like an error in DevAnalyzer. Thank you very much
for pointing it out.
with best regards,
Marc
Oberon microsystems AG
www.oberon.ch
+41 (0)44 445 17 51
________________________________
From: blackbox{([at]})nowhere.xy
Of Rainer Neubauer
Sent: Freitag, 21. September 2007 14:16
To: blackbox
Subject: [BlackBox] - Trap after Info->Analyze Module
Hi all,
I have this simple module:
MODULE TrialsAnalyzerTrap;
PROCEDURE Sub1 (a: INTEGER);
BEGIN
END Sub1;
PROCEDURE Sub2;
VAR i: INTEGER;
BEGIN
Sub1 (i);
FOR i := 0 TO 2 DO
Sub1 (i)
END
END Sub2;
END TrialsAnalyzerTrap.
The code contains an error: when Sub1 is called the first time
within Sub2 the variable i is not initialized.
When I call Info->Analyze Module I get an invalid case trap:
invalid CASE
DevAnalyzer.UseObj [00001098H]
.markUseBSet BOOLEAN
TRUE
.obj DevCPT.Object
[011032F0H]
.pos INTEGER
166
DevAnalyzer.Factor [00003F90H]
.id DevCPT.Object
[011032F0H]
.pos INTEGER
166
.x DevCPT.Node
[01103820H]
DevAnalyzer.Term [00004318H]
.mulop BYTE
0
.x DevCPT.Node
[01103820H]
.y DevCPT.Node
NIL
DevAnalyzer.SimpleExpression [000043DBH]
.addop BYTE
1
.x DevCPT.Node
[01103820H]
.y DevCPT.Node
NIL
DevAnalyzer.Expression [000044F6H]
.last DevCPT.Node
NIL
.obj DevCPT.Object
NIL
.pre DevCPT.Node
NIL
.relation BYTE
0
.x DevCPT.Node
[01103820H]
.y DevCPT.Node
NIL
DevAnalyzer.ActualParameters [00003237H]
.apar DevCPT.Node
[01103820H]
.aparlist DevCPT.Node
NIL
.fpar DevCPT.Object
[01102C90H]
.id DevCPT.Object
NIL
.iidPar DevCPT.Node
NIL
.last DevCPT.Node
NIL
.lastp DevCPT.Node
NIL
.moreThan1 BOOLEAN
FALSE
.n DevCPT.Node
NIL
.newPar DevCPT.Node
NIL
.pre DevCPT.Node
NIL
DevAnalyzer.StatSeq [00005E02H]
Did I do something wrong or could this be a hint to a problem in
the analyzer code ?
I'm still working with BlackBox 1.5; may be this effect does not
show up in BB 1.6.
Best regards,
Rainer Neubauer
--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy
----boundary-LibPST-iamunique-1328102058_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIFJhaW5lcixccGFyDQpccGFyDQp0aGlzIGRlZmlu
aXRlbHkgbG9va3MgbGlrZSBhbiBlcnJvciBpbiBEZXZBbmFseXplci4gVGhhbmsgeW91IHZlcnkg
bXVjaFxwYXINCmZvciBwb2ludGluZyBpdCBvdXQuXHBhcg0KXHBhcg0Kd2l0aCBiZXN0IHJlZ2Fy
ZHMsXHBhcg0KXHBhcg0KTWFyY1xwYXINClxwYXINCk9iZXJvbiBtaWNyb3N5c3RlbXMgQUdccGFy
DQp3d3cub2Jlcm9uLmNoXHBhcg0KKzQxICgwKTQ0IDQ0NSAxNyA1MVxwYXINClxwYXINClxwYXIN
Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXHBhcg0KXHBhcg0KXHRhYiBGcm9tOiBi
bGFja2JveEBvYmVyb24uY2ggW21haWx0bzpibGFja2JveEBvYmVyb24uY2hdIE9uIEJlaGFsZlxw
YXINCk9mIFJhaW5lciBOZXViYXVlclxwYXINClx0YWIgU2VudDogRnJlaXRhZywgMjEuIFNlcHRl
bWJlciAyMDA3IDE0OjE2XHBhcg0KXHRhYiBUbzogYmxhY2tib3hccGFyDQpcdGFiIFN1YmplY3Q6
IFtCbGFja0JveF0gLSBUcmFwIGFmdGVyIEluZm8tPkFuYWx5emUgTW9kdWxlXHBhcg0KXHRhYiBc
cGFyDQpcdGFiIFxwYXINClx0YWIgSGkgYWxsLFxwYXINClx0YWIgXHBhcg0KXHRhYiBccGFyDQpc
dGFiIEkgaGF2ZSB0aGlzIHNpbXBsZSBtb2R1bGU6XHBhcg0KXHRhYiBccGFyDQpcdGFiIFxwYXIN
Clx0YWIgXHBhcg0KXHRhYiBccGFyDQpcdGFiIE1PRFVMRSBUcmlhbHNBbmFseXplclRyYXA7XHBh
cg0KXHBhcg0KXHRhYiAgXHBhcg0KXHBhcg0KXHRhYiAgICAgICAgICAgICAgICAgUFJPQ0VEVVJF
IFN1YjEgKGE6IElOVEVHRVIpO1xwYXINClx0YWIgICAgICAgICAgICAgICAgIEJFR0lOXHBhcg0K
XHRhYiAgICAgICAgICAgICAgICAgRU5EIFN1YjE7XHBhcg0KXHBhcg0KXHRhYiAgXHBhcg0KXHBh
cg0KXHRhYiAgXHBhcg0KXHBhcg0KXHRhYiAgICAgICAgICAgICAgICAgUFJPQ0VEVVJFIFN1YjI7
XHBhcg0KXHRhYiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFZBUiBpOiBJTlRFR0VS
O1xwYXINClx0YWIgICAgICAgICAgICAgICAgIEJFR0lOXHBhcg0KXHRhYiAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgIFN1YjEgKGkpO1xwYXINClxwYXINClx0YWIgIFxwYXINClxwYXIN
Clx0YWIgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBGT1IgaSA6PSAwIFRPIDIgRE9c
cGFyDQpcdGFiICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
IFN1YjEgKGkpXHBhcg0KXHRhYiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEVORFxw
YXINClxwYXINClx0YWIgIFxwYXINClxwYXINClx0YWIgICAgICAgICAgICAgICAgIEVORCBTdWIy
O1xwYXINClx0YWIgRU5EIFRyaWFsc0FuYWx5emVyVHJhcC5ccGFyDQpccGFyDQpcdGFiICBccGFy
DQpccGFyDQpcdGFiICBccGFyDQpccGFyDQpcdGFiIFRoZSBjb2RlIGNvbnRhaW5zIGFuIGVycm9y
OiB3aGVuIFN1YjEgaXMgY2FsbGVkIHRoZSBmaXJzdCB0aW1lXHBhcg0Kd2l0aGluIFN1YjIgdGhl
IHZhcmlhYmxlIGkgaXMgbm90IGluaXRpYWxpemVkLlxwYXINClxwYXINClx0YWIgV2hlbiBJIGNh
bGwgSW5mby0+QW5hbHl6ZSBNb2R1bGUgSSBnZXQgYW4gaW52YWxpZCBjYXNlIHRyYXA6XHBhcg0K
XHBhcg0KXHRhYiAgXHBhcg0KXHBhcg0KXHRhYiBpbnZhbGlkIENBU0VccGFyDQpccGFyDQpcdGFi
ICBccGFyDQpccGFyDQpcdGFiICBEZXZBbmFseXplci5Vc2VPYmogICBbMDAwMDEwOThIXVxwYXIN
Clx0YWIgICAgICAubWFya1VzZUJTZXQgICAgICAgICAgICAgICBCT09MRUFOXHBhcg0KVFJVRVxw
YXINClx0YWIgICAgICAub2JqICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBEZXZDUFQu
T2JqZWN0XHBhcg0KWzAxMTAzMkYwSF1ccGFyDQpcdGFiICAgICAgLnBvcyAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICBJTlRFR0VSXHBhcg0KMTY2XHBhcg0KXHRhYiAgRGV2QW5hbHl6ZXIu
RmFjdG9yICAgWzAwMDAzRjkwSF1ccGFyDQpcdGFiICAgICAgLmlkICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgIERldkNQVC5PYmplY3RccGFyDQpbMDExMDMyRjBIXVxwYXINClx0YWIg
ICAgICAucG9zICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIElOVEVHRVJccGFyDQoxNjZc
cGFyDQpcdGFiICAgICAgLnggICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIERldkNQ
VC5Ob2RlXHBhcg0KWzAxMTAzODIwSF1ccGFyDQpcdGFiICBEZXZBbmFseXplci5UZXJtICAgWzAw
MDA0MzE4SF1ccGFyDQpcdGFiICAgICAgLm11bG9wICAgICAgICAgICAgICAgICAgICAgICAgICAg
QllURVxwYXINCjBccGFyDQpcdGFiICAgICAgLnggICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgIERldkNQVC5Ob2RlXHBhcg0KWzAxMTAzODIwSF1ccGFyDQpcdGFiICAgICAgLnkgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIERldkNQVC5Ob2RlXHBhcg0KTklMXHBhcg0K
XHRhYiAgRGV2QW5hbHl6ZXIuU2ltcGxlRXhwcmVzc2lvbiAgIFswMDAwNDNEQkhdXHBhcg0KXHRh
YiAgICAgIC5hZGRvcCAgICAgICAgICAgICAgICAgICAgICAgICAgIEJZVEVccGFyDQoxXHBhcg0K
XHRhYiAgICAgIC54ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBEZXZDUFQuTm9k
ZVxwYXINClswMTEwMzgyMEhdXHBhcg0KXHRhYiAgICAgIC55ICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINCk5JTFxwYXINClx0YWIgIERldkFuYWx5emVy
LkV4cHJlc3Npb24gICBbMDAwMDQ0RjZIXVxwYXINClx0YWIgICAgICAubGFzdCAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINCk5JTFxwYXINClx0YWIgICAgICAu
b2JqICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBEZXZDUFQuT2JqZWN0XHBhcg0KTklM
XHBhcg0KXHRhYiAgICAgIC5wcmUgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgRGV2Q1BU
Lk5vZGVccGFyDQpOSUxccGFyDQpcdGFiICAgICAgLnJlbGF0aW9uICAgICAgICAgICAgICAgICAg
ICAgICAgIEJZVEVccGFyDQowXHBhcg0KXHRhYiAgICAgIC54ICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINClswMTEwMzgyMEhdXHBhcg0KXHRhYiAgICAg
IC55ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINCk5J
TFxwYXINClx0YWIgIERldkFuYWx5emVyLkFjdHVhbFBhcmFtZXRlcnMgICBbMDAwMDMyMzdIXVxw
YXINClx0YWIgICAgICAuYXBhciAgICAgICAgICAgICAgICAgICAgICAgICAgICAgRGV2Q1BULk5v
ZGVccGFyDQpbMDExMDM4MjBIXVxwYXINClx0YWIgICAgICAuYXBhcmxpc3QgICAgICAgICAgICAg
ICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINCk5JTFxwYXINClx0YWIgICAgICAuZnBhciAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgIERldkNQVC5PYmplY3RccGFyDQpbMDExMDJDOTBIXVxw
YXINClx0YWIgICAgICAuaWQgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgRGV2Q1BU
Lk9iamVjdFxwYXINCk5JTFxwYXINClx0YWIgICAgICAuaWlkUGFyICAgICAgICAgICAgICAgICAg
ICAgICAgICAgIERldkNQVC5Ob2RlXHBhcg0KTklMXHBhcg0KXHRhYiAgICAgIC5sYXN0ICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgIERldkNQVC5Ob2RlXHBhcg0KTklMXHBhcg0KXHRhYiAg
ICAgIC5sYXN0cCAgICAgICAgICAgICAgICAgICAgICAgICAgICAgRGV2Q1BULk5vZGVccGFyDQpO
SUxccGFyDQpcdGFiICAgICAgLm1vcmVUaGFuMSAgICAgICAgICAgICAgICAgICBCT09MRUFOXHBh
cg0KRkFMU0VccGFyDQpcdGFiICAgICAgLm4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgIERldkNQVC5Ob2RlXHBhcg0KTklMXHBhcg0KXHRhYiAgICAgIC5uZXdQYXIgICAgICAgICAg
ICAgICAgICAgICAgICBEZXZDUFQuTm9kZVxwYXINCk5JTFxwYXINClx0YWIgICAgICAucHJlICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgIERldkNQVC5Ob2RlXHBhcg0KTklMXHBhcg0KXHRh
YiAgRGV2QW5hbHl6ZXIuU3RhdFNlcSAgIFswMDAwNUUwMkhdXHBhcg0KXHBhcg0KXHBhcg0KXHRh
YiBEaWQgSSBkbyBzb21ldGhpbmcgd3Jvbmcgb3IgY291bGQgdGhpcyBiZSBhIGhpbnQgdG8gYSBw
cm9ibGVtIGluXHBhcg0KdGhlIGFuYWx5emVyIGNvZGUgP1xwYXINClx0YWIgSSdtIHN0aWxsIHdv
cmtpbmcgd2l0aCBCbGFja0JveCAxLjU7IG1heSBiZSB0aGlzIGVmZmVjdCBkb2VzIG5vdFxwYXIN
CnNob3cgdXAgaW4gQkIgMS42LlxwYXINClxwYXINClx0YWIgQmVzdCByZWdhcmRzLFxwYXINClx0
YWIgUmFpbmVyIE5ldWJhdWVyXHBhcg0KXHBhcg0KLS0tIEJsYWNrQm94XHBhcg0KLS0tIHNlbmQg
c3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJFIHRvIGJsYWNrYm94QG9iZXJvbi5jaH19ADhzc0hw
bXNFVGY
----boundary-LibPST-iamunique-1328102058_-_---
Received on Sat Sep 22 2007 - 10:16:17 UTC