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