1--TEST--
2Division by zero in static
3--FILE--
4<?php
5static $a = 1/0;
6?>
7--EXPECTF--
8Fatal error: Uncaught DivisionByZeroError: Division by zero in %s:%d
9Stack trace:
10#0 {main}
11  thrown in %s on line %d
12