Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

int range returns incorrect result for pow #10965

Open
kkmuffme opened this issue May 7, 2024 · 1 comment · May be fixed by #10959
Open

int range returns incorrect result for pow #10965

kkmuffme opened this issue May 7, 2024 · 1 comment · May be fixed by #10959

Comments

@kkmuffme
Copy link
Contributor

kkmuffme commented May 7, 2024

https://psalm.dev/r/05888237f2

Should be identical, but it's not.
There's a test for it (IntRangeTest pow) but it's wrong there too, as it asserts -1 incorrectly.

Copy link

I found these snippets:

https://psalm.dev/r/05888237f2
<?php

$x = (-2) ** 0;
/** @psalm-trace $x */;

/** @var int<0, 0> $c */
$y = (-2) ** $c;
/** @psalm-trace $y */;
Psalm output (using commit 16b24bd):

INFO: Trace - 4:23 - $x: 1

INFO: Trace - 8:23 - $y: -1

INFO: UnusedVariable - 3:1 - $x is never referenced or the value is not used

INFO: UnusedVariable - 7:1 - $y is never referenced or the value is not used

kkmuffme added a commit to kkmuffme/psalm that referenced this issue May 7, 2024
Fix vimeo#10947
Fix vimeo#10965 and similar issues including their incorrect tests
kkmuffme added a commit to kkmuffme/psalm that referenced this issue May 7, 2024
Fix vimeo#10947
Fix vimeo#10965 and similar issues including their incorrect tests
kkmuffme added a commit to kkmuffme/psalm that referenced this issue May 7, 2024
Fix vimeo#10947
Fix vimeo#10965 and similar issues including their incorrect tests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant