Incorrect "Unreachable code detected"

[Skalman]

DEVSENSE.phptools-vscode v1.46.15409

In the code below, echo 1 is reported as unreachable, but it is actually reachable.

<?php

function myExit()
{
  exit;
}

isset($_GET['a']) || myExit();

foreach ($_GET['a'] as $a) {
  echo 1; // Unreachable code detected PHP(PHP0419)

  switch (true) {
    case true:
      break;
  }
}

[jakubmisek]

Thank you @Skalman for reporting that. We'll try to provide a fix soon.