HomePhabricator

[analyzer] Make sure that inlined defensive checks work on div by zero.