3
<TITLE>Option: division</TITLE>
6
<A HREF="toc.html">Table of Contents</A><P>
7
<P>Previous: <A HREF="declare.html">-declare</A><HR><P>
8
<H2>Option: <font color=#FF0080>division</font></H2><P>
9
<A NAME="division"></A><DT><B><A HREF="division.html">-division</A></B>
13
This switch is provided to help users spot potential
14
division by zero problems. If this switch is selected, every division
15
except by a constant will be flagged. (It is assumed that the user is
16
intelligent enough not to divide by a constant which is equal to zero!)
20
See also: <B><A HREF="portability.html">-portability</A></B>, <B><A HREF="truncation.html">-truncation</A></B>.
24
<P><HR><P>Next: <A HREF="errors.html">-errors</A>