- Trap after Info->Analyze Module

From: [at]} <Rainer>
Date: Fri, 21 Sep 2007 14:16:00 +0200

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





Received on Fri Sep 21 2007 - 14:16:00 UTC

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