ircmaxell / Tuli

A static analysis engine
MIT License
169 stars 7 forks source link

Math op on unknown types int + null|bool|int|float|string|object|array|callable #9

Open sebastianbergmann opened 9 years ago

sebastianbergmann commented 9 years ago
./bin/tuli print-cfg /usr/local/src/money/src/Money.php -vvv
Analyzing /usr/local/src/money/src/Money.php
Determining Variable Types
Round 1 (262 unresolved variables out of 447)
...............

  [RuntimeException]                                                               
  Math op on unknown types int + null|bool|int|float|string|object|array|callable  

Exception trace:
 () at /usr/local/src/Tuli/lib/Tuli/TypeReconstructor.php:225
 Tuli\TypeReconstructor->resolveVarOp() at /usr/local/src/Tuli/lib/Tuli/TypeReconstructor.php:111
 Tuli\TypeReconstructor->resolveVar() at /usr/local/src/Tuli/lib/Tuli/TypeReconstructor.php:58
 Tuli\TypeReconstructor->resolve() at /usr/local/src/Tuli/lib/Tuli/Command.php:70
 Tuli\Command->analyzeGraphs() at /usr/local/src/Tuli/lib/Tuli/Command.php:60
 Tuli\Command->execute() at /usr/local/src/Tuli/lib/Tuli/Command/PrintCFG.php:28
 Tuli\Command\PrintCFG->execute() at /usr/local/src/Tuli/vendor/symfony/console/Command/Command.php:259
 Symfony\Component\Console\Command\Command->run() at /usr/local/src/Tuli/vendor/symfony/console/Application.php:878
 Symfony\Component\Console\Application->doRunCommand() at /usr/local/src/Tuli/vendor/symfony/console/Application.php:195
 Symfony\Component\Console\Application->doRun() at /usr/local/src/Tuli/vendor/symfony/console/Application.php:126
 Symfony\Component\Console\Application->run() at /usr/local/src/Tuli/vendor/cilex/cilex/src/Cilex/Application.php:66
 Cilex\Application->run() at /usr/local/src/Tuli/bin/tuli:26

print-cfg [-x|--exclude EXCLUDE] [-i|--image IMAGE] [--] <files> (<files>)...

/usr/local/src/money is a clone of https://github.com/sebastianbergmann/money/ (master).

ircmaxell commented 9 years ago

"Fixed" (really, I just removed the exception, but it's just there for debugging purposes anyway)