Read regex shapes with PHPRegex instead of the generated parser

The shapes of preg_match(), preg_match_all() and preg_replace_callback()
are read from the AST and the capture shape analysis of PHPRegex, a
PCRE2 pattern parser that runs on PHP 7.4. The generated parser, its
grammar, its build script and the phplrt runtime are removed, and
ignoreErrors patterns are validated with the same parser.

Patterns are read for the analysed PHP version and the PCRE2 version it
bundles; a pcreVersion parameter, or config.platform.lib-pcre in
composer.json, can set that version. With bleeding edge,
RegularExpressionPatternRule also reports a pattern the running PHP
compiles but the analysed PHP does not.

A new test matches every constant pattern of the preg_* fixtures with
the engine, on generated subjects and with every flag combination, and
checks that the inferred type accepts what the engine writes.

Author: yoeunes

.typos.toml

@@ -1,8 +1,6 @@
 [files]
 extend-exclude = [
     ".git/",
-    # generated by `make regex-parser`, contains lexer regexes
-    "src/Type/Regex/Parser/RegexParser.php",
 ]
 ignore-hidden = false
 

Makefile

@@ -177,14 +177,6 @@ phpstan-generate-baseline-php:
 phpstan-pro:
 	php -d memory_limit=450M bin/phpstan --pro
 
-# Regenerates src/Type/Regex/Parser/RegexParser.php from
-# build/regex-parser/RegexGrammar.pp3 with the phplrt compiler. The compiler
-# needs PHP 8.4+, the generated parser only needs the phplrt runtime.
-.PHONY: regex-parser
-regex-parser:
-	composer install --working-dir build/regex-parser
-	php build/regex-parser/generate.php
-
 name-collision:
 	php vendor/bin/detect-collisions --configuration build/collision-detector.json
 

build/phpstan.neon

@@ -39,9 +39,6 @@ parameters:
 		- ../tests/PHPStan/Reflection/MixedTypeTest.php
 		- ../tests/e2e/magic-setter/*
 		- ../tests/PHPStan/Rules/Properties/UninitializedPropertyRuleTest.php
-		- ../tests/PHPStan/Command/IgnoredRegexValidatorTest.php
-		- ../src/Command/IgnoredRegexValidator.php
-		- ../src/Type/Regex/Parser/RegexParser.php
 	exceptions:
 		uncheckedExceptionClasses:
 			- 'PHPStan\ShouldNotHappenException'