…multiple-psalm-instances

use lock to fix race condition in cache

…rror-log

use error_log instead of trigger_error

Fix GEOSGeometry stubs with default values

New "Count" Report Format

… static methods inside a different class

differentiate between `static` defined in a class which CALLS a given static method, and `static` defined in the method which IS CALLED.

…Type() for non-object cases

…xistingAtomicStaticCallAnalyzer::getMethodReturnType()

Adds support for fixing missing throws doc block

…invalid")

Fix nullable return types for CallMap functions

Improve inferring the "final" `static` type when calling static methods inside a different class

Fix vimeo#8270

…fig-not-working

fix triggerErrorExits not working

Fixed ini_set types for arg value

…rams

Add stub for DatePeriod

…conditions

fix race conditions causing notices if directory does not exist

…pped in ExistingAtomicStaticCallAnalyzer#hasStaticInType()

vimeo#8330 - take into account that `static` type may have been unwrapped in `hasStaticInType()`

…tructors

recognize `@psalm-allow-private-mutation` in PHP 8+ constructors

https://www.php.net/manual/en/reflectionproperty.getvalue.php

…perty-getValue-args-type

ReflectionProperty::getValue $object is nullable since php 8.0

Fix formatCurrency return type

…tructor is **NOT** immutable

`DateTimeImmutable` is **almost** immutable: `DateTimeImmutable::__construct()` is in fact not a pure
method, since `new DateTimeImmutable('now')` produces a different value at each instantiation (by design).

This change makes sure that `DateTimeImmutable` loses its `@psalm-immutable` class-level marker,
preventing downstream misuse of the constructor inside otherwise referentially transparent code.

Note: only pure methods are stubbed here: all other methods declared by `DateTimeImmutable` (parent interface)
are NOT present here, and are either inferred from runtime reflection, or `CallMap*.php` definitions.

Methods are sorted in the order defined by reflection on PHP 8.1.8, at the time of writing this ( https://3v4l.org/3TGg8 ).

Following simplistic snippet was used to infer the current signature:

```php
<?php

$c = new \ReflectionClass(\DateTimeImmutable::class);

$methods = array_map(function ($m) {
    return $m->getName()
        . '(' . implode(',', array_map(function ($p) {
            return $p->getType()
                . ' $' . $p->getName()
                . ($p->isOptional() ? ' = ' . var_export($p->getDefaultValue(), true) : '');
        }, $m->getParameters())) . ')' . ($m->getReturnType() ? (': ' . $m->getReturnType()) : '');
}, $c->getMethods());

$properties = array_map(function ($m) {
    return $m->getName();
}, $c->getProperties());

var_dump($methods, $properties);
```

…mutable`

`DateTimeImmutable` is not really immutable, therefore this marker was wrong upfront

…ever `false`

…to use

Ref: https://github.com/vimeo/psalm/pull/8350/files/c205d652d1e9afd9510db59e72c3fd0a4a093b3d#r934032422

The idea is that `@psalm-pure` disallows `$this` usage in child classes,
which is not wanted, while `@psalm-mutation-free` allows it.

By using `@psalm-mutation-free`, we don't completely destroy inheritance
use-cases based on internal (immutable) state.

…errors-invalidargument

add ", but" for InvalidArgument error message where a type is provided

…st-class callables

…the first-class callables

…red by stub

… stub

…ly covered by stub

… by stub

Note: some conditional return type magic was required here.

See: vimeo#8350 (comment)

…vered by stub

Note: also verified that a `DateTimeImmutable#getTimezone()` always returns
a default timezone (initialized internally), and therefore restricted the
type a bit.

…red by stub

…overed by stub

This also simplifies the return type from `int|false` to always `int`,
since a timestamp can always be produced.

Ref: https://github.com/php/php-src/blob/eff9aed1592f59cddb12d36a55dec0ccc3bbbfd6/ext/date/php_date.stub.php#L496-L500

…y stub

… by stub

Also expanded the return type from `static` to `static|false`, since the
operation can fail (with a warning too), such as in following example:

https://3v4l.org/Xrjlc

```php
<?php

var_dump(
    (new DateTimeImmutable())
        ->modify('potato')
);
```

Produces

```
Warning: DateTimeImmutable::modify(): Failed to parse time string (potato) at position 0 (p): The timezone could not be found in the database in /in/Xrjlc on line 6
bool(false)
```

Ref: https://github.com/php/php-src/blob/534127d3b22b193ffb9511c4447584f0d2bd4e24/ext/date/php_date.stub.php#L508-L509

… stub

Ref: https://github.com/php/php-src/blob/534127d3b22b193ffb9511c4447584f0d2bd4e24/ext/date/php_date.stub.php#L511-L512
Ref: https://github.com/php/php-src/blob/534127d3b22b193ffb9511c4447584f0d2bd4e24/ext/date/php_date.c#L3129-L3144

…vered by stub

Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.

On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.

Ref (PHP 8.2.x): https://github.com/php/php-src/blob/534127d3b22b193ffb9511c4447584f0d2bd4e24/ext/date/php_date.c#L3291-L3307
Ref (PHP 8.2.x): https://github.com/php/php-src/blob/534127d3b22b193ffb9511c4447584f0d2bd4e24/ext/date/php_date.stub.php#L517-L518
Ref (PHP 7.0.33): https://github.com/php/php-src/blob/bf574c2b67a1f786e36cf679f41b758b973a82c4/ext/date/php_date.c#L3363-L3379

…d by stub

Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.

On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.

Ref (PHP 8.1.x): https://github.com/php/php-src/blob/32d55f74229e7913db0d59ef874a401744479b6a/ext/date/php_date.c#L3212-L3228
Ref (PHP 7.0.33): https://github.com/php/php-src/blob/bf574c2b67a1f786e36cf679f41b758b973a82c4/ext/date/php_date.c#L3447-L3463

…d by stub

Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.

On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.

Ref (PHP 8.1.x): https://github.com/php/php-src/blob/32d55f74229e7913db0d59ef874a401744479b6a/ext/date/php_date.c#L3258-L3274
Ref (PHP 7.0.33): https://github.com/php/php-src/blob/bf574c2b67a1f786e36cf679f41b758b973a82c4/ext/date/php_date.c#L3496-L3512

…ered by stub

Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.

On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.

Ref (PHP 8.1.x): https://github.com/php/php-src/blob/32d55f74229e7913db0d59ef874a401744479b6a/ext/date/php_date.c#L3308-L3324
Ref (PHP 7.0.33): https://github.com/php/php-src/blob/bf574c2b67a1f786e36cf679f41b758b973a82c4/ext/date/php_date.c#L3549-L3565

…overed by stub

Also simplified the return type from `static|false` to `static`, since
the method throws at all times, on failure.

On PHP 7.x, it could only fail if an invalid type was passed in, which is
not really valid anyway, from a type perspective.

Ref (PHP 8.1.x): https://github.com/php/php-src/blob/32d55f74229e7913db0d59ef874a401744479b6a/ext/date/php_date.c#L3353-L3369
Ref (PHP 7.0.33): https://github.com/php/php-src/blob/bf574c2b67a1f786e36cf679f41b758b973a82c4/ext/date/php_date.c#L3596-L3612

…lly covered by stub

Also:

 * a non-empty format string will always lead to `non-empty-string`
 * it seems that you can throw **everything** at `DateTimeInterface#format()`, even null bytes,
   and it will always produce a `string`

While there is value in declaring `DateTimeImmutable::createFromInterface()` as mutation-free in
a stub, this method was introduced in PHP 8.0, so we cannot really declare it in a stub.

For now, we drop it, as the value of its stub declaration is much lower than the problems it
introduces through its conditional existence.

…is-not-immutable

Added better stubs for `DateTimeImmutable`, highlighting how the constructor is **NOT** immutable

… data. Fixes vimeo#8373

Undefined classes in function dockblocks should not crash psalm.
Test provided by @AndrolGenhald

Use classlike_storage_provider only if it has the required data

added truthy-string alias for non-falsy-string

always use lock when writing/reading cache data to/from file

…-fix-4.x

Fix `imageinterlace` function signature

Clarification of `Reflection::getModifierNames()` result type

Ensure we recognize inherited static methods for the first-class callables

Fix doc typos

added SensitiveParameter, AllowDynamicProperties php 8.2 attributes

Those functions should not return a string when they receive a
non-empty-string in input.

The following example is expected to work:
```php
<?php

/**
 * @param non-empty-string $i
 */
function takesNonEmptyString(string $i): void {
    echo $i;
}

takesNonEmptyString(bin2hex("a"));
takesNonEmptyString(base64_encode("a"));
```

Allow *bin2hex and *bin2base64 functions to keep non-empty-string type

Add support for callable in array_reduce

Configure a correct attribute target in stubs/CoreGenericClasses.phpstub

Allow any attribute for complex types in schema

trim(), ltrim(), rtrim() now keep lowercase string attribute

Signed-off-by: sashashura <93376818+sashashura@users.noreply.github.com>

GitHub Workflows security hardening

…tions

Make ctype_digit and ctype_lower work as assertions

…ot-all-numeric-strings

Fix ctype_digit assertion bug

…(e.g. new DateTime)

…it for clarity and performance

…native-and-stubbed-classes

report invalidCasing when using a class that is not user defined too

…eplace

preg_replace with anchor will always only have 1 replacement

Update call maps for MongoDB extension

Fix vimeo#8351

Partially reverts vimeo@f28ac73

…i_getcontent

partial revert nullable type for curl_multi_getcontent

…-case-insensitive

classlike_alias incorrect casing not handled correctly

Update phpredis.phpstub

* use exceptions instead of error_log for ParserCacheProvider like all other cache providers do
* remove duplicate code in ParserCacheProvider
* use same hash as other cache providers
* update Config.php cache directory creation to use same code as ParserCacheProvider

Revert "update leftover md5 in provider to commonly used hash"

This reverts commit 66337ec.

partially put back

Update StatementsProvider.php

* fix rare race condition on file cache unlink
* remove unnecessary reset()
* improve code readability using variable

…for-cache

Consistent error logging for cache

Up to PHP 8.2, these functions return false if no previous date operations have been performed. In PHP 8.2, false is returned after a date operation that yields neither warnings nor errors:

https://3v4l.org/HBq0q
https://3v4l.org/3QsKY
Signed-off-by: George Steel <george@net-glue.co.uk>

…s_return_type

`date_get_last_errors()`, `DateTime::getLastErrors()` may return false

Add dateTimeModify return type provider

Update VariableFetchAnalyzer.php

…lse-positive

Fix array_key_exists first argument false positive

Document the object with properties syntax

Make template constraints examples in docs consistent

Fix array_column with object and column name null

Add null-type to several DOM-functions

make superglobals more specific

…ed-exception

Make Psalter add `@throws` annotation with properly namespaced exception