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