3v4l.org

run code in 300+ PHP versions simultaneously
<?php /** @param array{foo: string} $strArr */ function bar(array $strArr): string { $strArr["foo"] .= "bar"; return $strArr["foo"]; } class Foo { /** @var array<string, string> */ private array $stuff = ["foo" => "foo"]; /** * @param non-empty-list<string> $param * @return string */ public function foo(array $param) { $arr = &$this->stuff[$param[0]]; // This seems to cause Psalm to blackout. bar($this->stuff); var_dump($this->stuff); /** @var string */ $x = $arr; /** @psalm-trace $x, $arr */; // This trace doesn't work, and $x's type appears to be mixed at this point. /** @psalm-trace $x */ return $x; } } $foo = new Foo(); $foo->foo(["foo"]);
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/vaCAp
function name:  (null)
number of ops:  7
compiled vars:  !0 = $foo
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   34     0  E >   NEW                                              $1      'Foo'
          1        DO_FCALL                                      0          
          2        ASSIGN                                                   !0, $1
   35     3        INIT_METHOD_CALL                                         !0, 'foo'
          4        SEND_VAL_EX                                              <array>
          5        DO_FCALL                                      0          
          6      > RETURN                                                   1

Function bar:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/vaCAp
function name:  bar
number of ops:  8
compiled vars:  !0 = $strArr
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
    4     0  E >   RECV                                             !0      
    6     1        ASSIGN_DIM_OP                .=               8          !0, 'foo'
          2        OP_DATA                                                  'bar'
    7     3        FETCH_DIM_R                                      ~2      !0, 'foo'
          4        VERIFY_RETURN_TYPE                                       ~2
          5      > RETURN                                                   ~2
    8     6*       VERIFY_RETURN_TYPE                                       
          7*     > RETURN                                                   null

End of function bar

Class Foo:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/vaCAp
function name:  foo
number of ops:  16
compiled vars:  !0 = $param, !1 = $arr, !2 = $x
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   19     0  E >   RECV                                             !0      
   21     1        FETCH_DIM_R                                      ~4      !0, 0
          2        FETCH_OBJ_W                                      $3      'stuff'
          3        FETCH_DIM_W                                      $5      $3, ~4
          4        ASSIGN_REF                                               !1, $5
   22     5        INIT_FCALL                                               'bar'
          6        FETCH_OBJ_R                                      ~7      'stuff'
          7        SEND_VAL                                                 ~7
          8        DO_FCALL                                      0          
   23     9        INIT_FCALL                                               'var_dump'
         10        FETCH_OBJ_R                                      ~9      'stuff'
         11        SEND_VAL                                                 ~9
         12        DO_ICALL                                                 
   25    13        ASSIGN                                                   !2, !1
   30    14      > RETURN                                                   !2
   31    15*     > RETURN                                                   null

End of function foo

End of class Foo.

Generated using Vulcan Logic Dumper, using php 8.0.0


preferences:
159.11 ms | 1013 KiB | 15 Q