Jan Lahoda 670eff1ee6 6707032: Division by zero warning not suppressed properly in some cases ... Delay reporting of the division by zero warning until annotations are resolved, so that @SuppressWarnings works correctly. Reviewed-by: vromero		2014-06-30 17:08:06 +02:00
..
share	6707032: Division by zero warning not suppressed properly in some cases	2014-06-30 17:08:06 +02:00