Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

PHP_INT_MAX/MIN types make no sense #11189

Open
kkmuffme opened this issue Dec 23, 2024 · 1 comment · May be fixed by #11190
Open

PHP_INT_MAX/MIN types make no sense #11189

kkmuffme opened this issue Dec 23, 2024 · 1 comment · May be fixed by #11190

Comments

@kkmuffme
Copy link
Contributor

https://psalm.dev/r/56c6ecbbab
@psalm-github-bot Psalm Github bot
Copy link

I found these snippets:

https://psalm.dev/r/56c6ecbbab 
<?php

$foo = PHP_INT_MAX;
/** @psalm-trace $foo */;


if ($foo < 5) {
 	echo "impossible";   
}
Psalm output (using commit 765dcbf):

INFO: Trace - 4:25 - $foo: int<1, max>

kkmuffme added a commit to kkmuffme/psalm that referenced this issue Dec 23, 2024
@kkmuffme
Fix wrong PHP_INT_MAX/MIN and PHP_DEBUG PHP 8.4 type
37820f0 
* Fix vimeo#11189
* Fix PHP_DEBUG constant for PHP 8.4 part of vimeo#11107
@kkmuffme kkmuffme linked a pull request Dec 23, 2024 that will close this issue
Open
kkmuffme added a commit to kkmuffme/psalm that referenced this issue Dec 23, 2024
@kkmuffme
Fix wrong PHP_INT_MAX/MIN and PHP_DEBUG PHP 8.4 type
e3bf3d6 
* Fix vimeo#11189
* Fix PHP_DEBUG constant for PHP 8.4 part of vimeo#11107
kkmuffme added a commit to kkmuffme/psalm that referenced this issue Dec 23, 2024
@kkmuffme
Fix wrong PHP_INT_MAX/MIN and PHP_DEBUG PHP 8.4 type
56d96ec 
* Fix vimeo#11189
* Fix PHP_DEBUG constant for PHP 8.4 part of vimeo#11107
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix wrong PHP_INT_MAX/MIN and PHP_DEBUG PHP 8.4 type kkmuffme/psalm
1 participant
@kkmuffme