jkalend / vut-ifj Goto Github PK

<?php
declare(strict_types=1);
$i = 0;
while($i < 3) {
  if ($i > 0) {
    write($z);
  } else {}
  $z = "Hello, world";
  $i = $i + 1;
}

this code doesn't as expected as of now due to the $z variable

<?php declare(strict_types=1);
$a = "a";
$b = 49;
ord(,,,,, $a,, );
chr(,,,,, $b);
write(,,,,"Hello World",,);
strlen(,,,,, "Hello World",,);

According to PHP, this should cause an error, but it does not.

<?php
declare(strict_types=1);
$a = "a";
write(,);

this segfaults

<?php
declare(strict_types=1);
$a = "hello ";
$b = "world";
$c = $a . $b;

output of this should be: hello world
instead it is: helloworld

read functions can return null on bad input, as of now they are considered as return certain types only, not counting null

possible solutions:

• change type to VOID for all read functions

As of now there are many pointers that are just handed over and freeing those is a little complicated
putting IDs in one array and so on would make this process much easier

<?php
declare(strict_types=1);
$a = 10;
function f(int $a) : int {
    "halo";
    10;
    return $a;
}
write(f($a), "\n");

this causes error 2

• reads
• readi
• readf
• strlen
• substring
• ord
• chr
• floatval
• intval
• strval
• write

<?php
declare(strict_types=1);
$x;

as of now, this is being done only by codegen, but here it passes with no issue at all.
we need to implement checking variables and functions at the end of the parser.

<?php
declare(strict_types=1);
$a = 1;
$b = 1.0;
write(chr($a) === chr($b); // write($a;

this causes error 139

<?php
declare(strict_types=1);
$a = 49;
$b = 48.0;
function func(int $a, int $b) : string
{
    return chr($a) . chr($b);
}

$c = func($a, $b);
write($c);

this should cause an error but as of now it does not

<?php
declare(strict_types=1);
$a = 2;
function a (int $a) : ?int {
    if ($a > 2) {
        $a = $a + 2;
    } else {
        $a = $a - 2;
    }
    return $a;
}

$a = a($a);
?>

can a function and a variable within the same scope share the same identifier?

<?php
declare(strict_types=1);
function f(int $x) : int {
    if($x === 0) {
        return 0;
    } else {
        $inp = $x - 1;
        $res = g($inp);
        return $res + $x;
    }
}
function g(int $x) : int {
    $res = f($x);
    return $res + 1;
}
$res = g(10);
write($res, "\n");

for these examples and variables in while loop we will need some sort of speculative execution.

What is meant by that is:

• all variable and function IDs will be stored in an array
• after the entire loop or function is checked, then the IDs will be checked one by one if they are or aren't defined
• for functions more global approach will be need and their IDs will be checked only after reaching "main"

tests like this:

<?php
declare(strict_types=1);
write($x);

require checking for the definition of a variable in parser, which is currently not being properly done

for each htab we need to check whether their type is D_NONE or not and in case it is, immediately exit with code 5

also for purposes of memory freeing we can't lose the local htabs, which can, unfortunately, happen as of now.

<?php
declare(strict_types=1);
$i = 0;
while($i === 3) {
  if ($i > 0) {
    write($i);
  } else {}
  $z = "Hello, world";
  $i = $i + 1;
}

precedential does not accept ===

<?php
declare(strict_types=1);
return 0;

should return 0, instead it causes parser to exit with error code 4

If the type identifier doesnt have '?' prefix, it cannot contain null value.
As of now, it is allowed and needs to be fixed.

need support for:

• - write
• - reads
• - readf
• - readi
• - floatval
• - intval
• - strval
• - strlen
• - substring
• - ord
• - chr