* [*** 0.00 F193]
* generation of new symbol file not allowed

<* GENPTRINIT+ *> (* Make sure local pointers are initialized, including RECORD fields. *)
<* PROCINLINE+ *> (* Allow procedure inlining. *)
<* CHANGESYM+ *>
<* MAIN+ *>
MODULE Main;

(* ------------------------------------------------------------------------
 * (C) 2012 by Alexander Iljin
 * ------------------------------------------------------------------------ *)

IMPORT
   Out;

TYPE
   (* A stack-based RECORD type with a POINTER field. *)
   Writer = RECORD
      ptr: POINTER TO ARRAY OF CHAR; (* any pointer type will do *)
   END;

PROCEDURE InitModule; (* This procedure will be inlined. *)
VAR
   wr: Writer;
BEGIN
   (* Since GENPTRINIT is ON, the field wr.ptr must be set NIL, but that
    * does not happen if the procedure is inlined. The compiler simply does
    * not generate the initialization code (typically that would be a "push 0"
    * instruction), and whatever is in the stack is left in the pointer field.
    * In real-life programs this leads to random 'invalid location' traps. *)
   IF wr.ptr # NIL THEN
      Out.String('Error!');
   ELSE
      Out.String('Test passed.');
   END;
END InitModule;

BEGIN
   InitModule;
END Main.

<* GENPTRINIT+ *> (* Make sure local pointers are initialized, including RECORD fields. *)
<* PROCINLINE+ *> (* Allow procedure inlining. *)
<* CHANGESYM+ *>
<* MAIN+ *>
MODULE Main;

(* ------------------------------------------------------------------------
 * (C) 2012 by Alexander Iljin
 * ------------------------------------------------------------------------ *)

IMPORT
   Out;

PROCEDURE InitModule; (* This procedure will be inlined. *)
VAR
   ptr: POINTER TO ARRAY OF CHAR;
BEGIN
   (* Since GENPTRINIT is ON, the field wr.ptr must be set NIL, but that
    * does not happen if the procedure is inlined. The compiler simply does
    * not generate the initialization code (typically that would be a "push 0"
    * instruction), and whatever is in the stack is left in the pointer field.
    * In real-life programs this leads to random 'invalid location' traps. *)
   IF ptr # NIL THEN
      Out.String('Error!');
   ELSE
      Out.String('Test passed.');
   END;
END InitModule;

BEGIN
   InitModule;
END Main.

push 3
call X2C_TRAP_F

* [Main.ob2 30.07 W304]
* possibly used before definition "ptr"
   IF $ptr # NIL THEN

* [Main.ob2 30.11 W915]
* invalidLocation exception will be raised here
   IF ptr $# NIL THEN

PROCEDURE GetChar (): CHAR;
BEGIN RETURN CHR(65);  (* "A" *)
END GetChar;

PROCEDURE Do*;
VAR x: LONGINT; ch: CHAR;
BEGIN ch := CHR(65);
   x := 505 * ORD(ch);  (* ok *)
   x := 505 * ORD(GetChar());  (* whole overflow *)
END Do;

   x := LONG(505) * ORD(GetChar());  (* ok *)

* [Test.ob2 15.04 W900]
* redundant code eliminated
   $ch := CHR(65);

* [Test.ob2 16.04 W900]
* redundant code eliminated
   $x := 505 * ORD(ch);  (* ok *)

* [Test.ob2 16.19 W314]
* variable "ch" has compile time defined value here
   x := 505 * ORD($ch);  (* ok *)

* [Test.ob2 17.12 W314]
* variable "x" has compile time defined value here
   Out.Int($x, 0);