Follow-up fix for GH-9655

Type needs to be rendered as a DNF type and not X&Y|null

Fix GH-9655: Allow pure intersection types to be implicitly nullable

Closes GH-9659

Fix GH-9556 "iterable" alias "array|Traversable" breaks PHP 8.1 code

Closes GH-9558

Move object/class redundancy check into union type handling

As such a redundancy can only happen for union types

Fix GH-9556 "iterable" alias "array|Traversable" breaks PHP 8.1 code

Closes GH-9558

Move object/class redundancy check into union type handling

As such a redundancy can only happen for union types

Don't throw CompileError after parsing

Aborting parsing is not safe, a fatal error is necessary.

See https://github.com/php/php-src/commit/b9f7123c5e4ccdc3c381ab949ff01e3c14f3465c

Revert "Store default object handlers alongside the class entry"

This reverts commit 9e6eab3c139b41dc976dd5305fd1a6e387e5e27f.

Reverted along a01dd9fedaecd2e5b95bc5c2e8d6542116addea

Revert "Store default object handlers alongside the class entry"

This reverts commit 9e6eab3c139b41dc976dd5305fd1a6e387e5e27f.

Reverted along a01dd9fedaecd2e5b95bc5c2e8d6542116addeae.

show more ...

Update cache slot size calculation in compact_literals.c

Fix GH-9516: (A&B)|D as a param should allow AB or D. Not just A.

The issue was that we didn't compute enough cache slots for DNF types.
Nor progressed throught the CE's in the cache slo

Fix GH-9516: (A&B)|D as a param should allow AB or D. Not just A.

The issue was that we didn't compute enough cache slots for DNF types.
Nor progressed throught the CE's in the cache slot, meaning we were only checking if the value passed
satisfied the first type of the nested intersection type.

show more ...

Fix lsp error in eval'd code referring to incorrect class for static type

Fixes GH-9407
Closes GH-9471

Fix class name FQN when AST dumping new and class const

Fixes GH-9447
Closes GH-9462

Store default object handlers alongside the class entry

Object handlers being separate from class entries is a legacy inherited from PHP 5. Today it has little benefit to keep them separate:

Store default object handlers alongside the class entry

Object handlers being separate from class entries is a legacy inherited from PHP 5. Today it has little benefit to keep them separate: in fact, accessing object handlers usually requires not-so-safe hacks.
While it is possible to swap handlers in a custom installed create_object handler, this mostly is tedious, as well as it requires allocating the object handlers struct at runtime, possibly caching it etc..

This allows extensions, which intend to observe other classes to install their own class handlers.
The life cycle of internal classes may now be simply observed by swapping the class handlers in post_startup stage.
The life cycle of userland classes may be observed by iterating over the new classes in zend_compile_file and zend_compile_string and then swapping their handlers.

In general, this would also be a first step in directly tying the object handlers to classes. Especially given that I am not aware of any case where the object handlers would be different between various instances of a given class.

Signed-off-by: Bob Weinand <bobwei9@hotmail.com>

show more ...

Check at compile time that a built-in class is not being aliased (#9402)

If one tries to use such an alias as a type declaration the following error would be raised:
Fatal error: Cannot

Check at compile time that a built-in class is not being aliased (#9402)

If one tries to use such an alias as a type declaration the following error would be raised:
Fatal error: Cannot use 'int' as class name as it is reserved

show more ...

Add an API to observe functions and classes being linked

To observe when the functions and classes start being officially available to the user

Signed-off-by: Bob Weinand <bobwei9@h

Add an API to observe functions and classes being linked

To observe when the functions and classes start being officially available to the user

Signed-off-by: Bob Weinand <bobwei9@hotmail.com>

show more ...

Enum error message consistency (#9350)

Fix memory leaks

Fixes oss-fuzz #50078

Make `"{$g{'h'}}"` emit fatal error and no incorrect deprecation notice in 8.2 (#9264)

The ast node flag constants ZEND_DIM_ALTERNATIVE_SYNTAX and
ZEND_ENCAPS_VAR_DOLLAR_CURLY_VAR_VAR no

Make `"{$g{'h'}}"` emit fatal error and no incorrect deprecation notice in 8.2 (#9264)

The ast node flag constants ZEND_DIM_ALTERNATIVE_SYNTAX and
ZEND_ENCAPS_VAR_DOLLAR_CURLY_VAR_VAR node have identical values (1<<1),
causing a deprecation notice to be incorrectly emitted before the fatal error
for unsupported syntax.

Fixes GH-9263

Explicitly check for AST_VAR/AST_DIM kind for future compatibility

`AST_PROP`/`AST_METHOD_CALL` and nullsafe variants can also be found in
encapsulated strings - currently they have no flags but they may have flags in
the future. This also clarifies that this deprecation warning can only happen
for AST_VAR/AST_DIM nodes for certain `attr` values.

show more ...

Implement constants in traits (#8888)

RFC: https://wiki.php.net/rfc/constants_in_traits

DIM on null in const expr should emit warning

Also fix ?-> on magic consts in const expressions

Fixes GH-9136
Fixes GH-9138

Include internal functions in the observer API

There are two main motivations to this:
a) The logic for handling internal and userland observation can be unified.
b) Unwinding of obs

Include internal functions in the observer API

There are two main motivations to this:
a) The logic for handling internal and userland observation can be unified.
b) Unwinding of observed functions on a bailout does notably not include observers. Even if users of observers were to ensure such handling themselves, it would be impossible to retain the relative ordering - either the user has to unwind all internal observed frames before the automatic unwinding (zend_observer_fcall_end_all) or afterwards, but not properly interleaved.

Signed-off-by: Bob Weinand <bobwei9@hotmail.com>

show more ...

Fix arrow function with never return type

Fixes GH-7900
Closes GH-9103

Fix property fetch on magic constants in constant expressions

Closes GH-9136
Closes GH-9138
Closes GH-9172

GH-8344 Fetch properties of enums in const expressions