Explorar el Código

feat(express): verify proc23/24/25/26; IsPointer=CharType; heap verdict

Eric Streit hace 2 semanas
padre
commit
1f82201d42
Se han modificado 1 ficheros con 2 adiciones y 2 borrados
  1. 2 2
      src/compiler/EXPRESS.MOD

+ 2 - 2
src/compiler/EXPRESS.MOD

@@ -112,10 +112,10 @@ PROCEDURE Proc24(t: RecordPtr): BOOLEAN;
 BEGIN
   RETURN (t^.word4 = 4) AND (CARDINAL(t^.word3) > 2);
 END Proc24;
-(* proc26 @001a — pointer-to-current-scope test. *)
+(* proc26 @001a — kind-11 with word5 = CharType. *)
 PROCEDURE IsPointer(t: RecordPtr): BOOLEAN;
 BEGIN
-  RETURN (t^.word4 = 11) AND (CARDINAL(t^.word5) = CARDINAL(Scanner.scopeCur));
+  RETURN (t^.word4 = 11) AND (CARDINAL(t^.word5) = CARDINAL(Compiler.CharType));
 END IsPointer;
 PROCEDURE TypeKindOf(): CARDINAL;
 BEGIN HALT; END TypeKindOf;