demo

.github/workflows/phpstan.yml

@@ -16,29 +16,11 @@ jobs:
  fail-fast: false
  matrix:
  include:
- - php-version: "8.0"
- db-image: 'mysql:8.0'
- reflector: "pdo-mysql"
- mode: "recording"
  - php-version: "8.0"
  db-image: 'mysql:8.0'
  reflector: "mysqli"
  mode: "recording"
 
- - php-version: "8.1"
- db-image: 'mysql:8.0'
- reflector: "mysqli"
- mode: "recording"
- - php-version: '8.1'
- db-image: 'mariadb:latest'
- reflector: "mysqli"
- mode: "recording"
-
- - php-version: "8.1"
- db-image: 'mysql:8.0'
- reflector: "mysqli"
- mode: "replay-and-recording"
-
  env:
  DBA_REFLECTOR: ${{ matrix.reflector }}
  DBA_MODE: ${{ matrix.mode }}
@@ -75,41 +57,3 @@ jobs:
  mysql -uroot -h127.0.0.1 -proot < tests/schema.sql
 
  - run: composer phpstan
-
- replay:
- name: PHPStan (reflection replay)
- runs-on: ubuntu-latest
-
- strategy:
- fail-fast: false
- matrix:
- include:
- - php-version: "8.1"
- reflector: "mysqli"
- mode: "replay"
- - php-version: "8.1"
- reflector: "pdo-mysql"
- mode: "replay"
-
- env:
- DBA_REFLECTOR: ${{ matrix.reflector }}
- DBA_MODE: ${{ matrix.mode }}
-
- steps:
- - uses: actions/checkout@v2
- with:
- repository: ${{ github.event.client_payload.pull_request.head.repo.full_name }}
- ref: ${{ github.event.client_payload.pull_request.head.ref }}
-
- - name: Setup PHP
- id: setup-php
- uses: shivammathur/setup-php@v2
- with:
- php-version: "${{ matrix.php-version }}"
- coverage: none
-
- - uses: "ramsey/composer-install@v2"
- with:
- composer-options: "--prefer-dist --no-progress"
-
- - run: composer phpstan

bootstrap.php

@@ -15,6 +15,7 @@
 $config = RuntimeConfiguration::create();
 $config->errorMode(RuntimeConfiguration::ERROR_MODE_EXCEPTION);
 // $config->debugMode(true);
+$config->analyzeQueryPlans(true, 2);
 
 if (false === getenv('GITHUB_ACTION') && false === getenv('DBA_MODE')) {
  putenv('DBA_MODE=replay-and-recording');

demo.php

@@ -0,0 +1,41 @@
+<?php
+
+function demo(\PDO $pdo): void
+{
+ // ---------- result-set type inference ----------
+ $stmt = $pdo->query('SELECT email, adaid FROM ada', PDO::FETCH_ASSOC);
+
+ foreach ($stmt as $row) {
+ parse_str($row['adaid'], $x);
+ if ($row['email'] + 25) {
+ $x = $row['doesnotexit'];
+ }
+ }
+
+ // ---------- query plan analysis ----------
+
+ $pdo->query("SELECT * FROM `ada` WHERE email = 'test@example.com';");
+
+ // ---------- in-depth query analysis ----------
+
+$pdo->query('SELECT * FROM unknownTable', PDO::FETCH_ASSOC);
+
+$pdo->query('SELECT email adaid WHERE gesperrt freigabe1u1 FROM ada', PDO::FETCH_ASSOC);
+
+$pdo->query('SELECT doesNotExist, adaid, gesperrt, freigabe1u1 FROM ada', PDO::FETCH_ASSOC);
+
+$stmt = $pdo->prepare('SELECT email, adaid FROM ada WHERE adaid = :adaid');
+$stmt->execute([':wrongParamName' => 1]);
+
+$stmt = $pdo->prepare('SELECT email, adaid FROM ada WHERE adaid = :adaid');
+$stmt->execute();
+
+$stmt = $pdo->prepare('SELECT email, adaid FROM ada WHERE adaid = ? and email = ?');
+$stmt->execute([1]);
+
+$stmt = $pdo->prepare('SELECT email, adaid FROM ada WHERE adaid = :adaid and email = :email');
+$stmt->execute(['adaid' => 1]);
+
+$stmt = $pdo->prepare('SELECT email, adaid FROM ada WHERE adaid = :adaid and email = :email');
+$stmt->execute([':email' => 'email@example.org']);
+}

phpstan.neon.dist

@@ -1,12 +1,11 @@
 includes:
- - config/stubFiles.neon
- - config/extensions.neon
+ - config/dba.neon
 
 parameters:
  level: max
 
  paths:
- - src/
+ - demo.php
 
  bootstrapFiles:
  - bootstrap.php