Skip to content

Commit 3547c8d

Browse files
Add union
1 parent 4ecb986 commit 3547c8d

2 files changed

Lines changed: 16 additions & 0 deletions

File tree

tests/PHPStan/Rules/Cast/data/bug-14136.php

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,11 @@
2626
var_dump(boolval(gmp_init(42)));
2727
var_dump((bool) ($xml));
2828
var_dump((bool) (gmp_init(42)));
29+
30+
// Union
31+
intval(rand(0,1) ? gmp_init(42) : 'abc');
32+
intval(rand(0,1) ? gmp_init(42) : []);
33+
intval(rand(0,1) ? gmp_init(42) : '123');
34+
(int) (rand(0,1) ? gmp_init(42) : 'abc');
35+
(int) (rand(0,1) ? gmp_init(42) : []);
36+
(int) (rand(0,1) ? gmp_init(42) : '123');

tests/PHPStan/Rules/Functions/data/bug-14136.php

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,11 @@
2626
var_dump(boolval(gmp_init(42)));
2727
var_dump((bool) ($xml));
2828
var_dump((bool) (gmp_init(42)));
29+
30+
// Union
31+
intval(rand(0,1) ? gmp_init(42) : 'abc');
32+
intval(rand(0,1) ? gmp_init(42) : []);
33+
intval(rand(0,1) ? gmp_init(42) : '123');
34+
(int) (rand(0,1) ? gmp_init(42) : 'abc');
35+
(int) (rand(0,1) ? gmp_init(42) : []);
36+
(int) (rand(0,1) ? gmp_init(42) : '123');

0 commit comments

Comments
 (0)