adding openssl_x509_verify

vimeo · Nov 6, 2022 · 74111a3 · 74111a3
1 parent b48a713
commit 74111a3
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -9415,6 +9415,7 @@
 'openssl_x509_free' => ['void', 'certificate'=>'OpenSSLCertificate'],
 'openssl_x509_parse' => ['array|false', 'certificate'=>'OpenSSLCertificate|string', 'short_names='=>'bool'],
 'openssl_x509_read' => ['OpenSSLCertificate|false', 'certificate'=>'OpenSSLCertificate|string'],
+'openssl_x509_verify' => ['int', 'certificate'=>'string|OpenSSLCertificate', 'public_key'=>'string|OpenSSLCertificate|OpenSSLAsymmetricKey|array'],
 'ord' => ['int', 'character'=>'string'],
 'OuterIterator::current' => ['mixed'],
 'OuterIterator::getInnerIterator' => ['Iterator'],

diff --git a/dictionaries/CallMap_74_delta.php b/dictionaries/CallMap_74_delta.php
@@ -18,6 +18,7 @@
   'added' => [
     'ReflectionProperty::getType' => ['?ReflectionType'],
     'mb_str_split' => ['list<string>|false', 'string'=>'string', 'length='=>'positive-int', 'encoding='=>'string'],
+    'openssl_x509_verify' => ['int', 'certificate'=>'string|resource', 'public_key'=>'string|array|resource'],
   ],
   'changed' => [
     'array_merge' => [

diff --git a/dictionaries/CallMap_80_delta.php b/dictionaries/CallMap_80_delta.php
@@ -1193,6 +1193,10 @@
       'old' => ['resource|false', 'certificate'=>'string|resource'],
       'new' => ['OpenSSLCertificate|false', 'certificate'=>'OpenSSLCertificate|string'],
     ],
+    'openssl_x509_verify' => [
+      'old' => ['int', 'certificate'=>'string|resource', 'public_key'=>'string|array|resource'],
+      'new' => ['int', 'certificate'=>'string|OpenSSLCertificate', 'public_key'=>'string|OpenSSLCertificate|OpenSSLAsymmetricKey|array'],
+    ],
     'parse_str' => [
       'old' => ['void', 'string'=>'string', '&w_result='=>'array'],
       'new' => ['void', 'string'=>'string', '&w_result'=>'array'],

diff --git a/src/Psalm/Internal/Type/AssertionReconciler.php b/src/Psalm/Internal/Type/AssertionReconciler.php
@@ -81,6 +81,8 @@ public static function reconcile(
         ?int &$failed_reconciliation = Reconciler::RECONCILIATION_OK,
         bool $negated = false
     ): Union {
+        var_dump($assertion);
+        var_dump($existing_var_type->getId());
         $codebase = $statements_analyzer->getCodebase();
 
         $is_strict_equality = false;