
<!-- BUGCATEGORY Logic error -->

<!-- BUGFILE /usr/home/kai/sanitizers/div.c -->

<!-- FILENAME div.c -->

<!-- FUNCTIONNAME divbyzero -->

<!-- ISSUEHASHCONTENTOFLINEINCONTEXT 4ad33bdf13a1fd418a997ea9075d08ad -->

<!-- BUGLINE 2 -->

<!-- BUGCOLUMN 12 -->

<!-- BUGPATHLENGTH 3 -->

<!-- BUGMETAEND -->
<!-- REPORTHEADER -->
<h3>Bug Summary</h3>
<table class="simpletable">
<tr><td class="rowname">File:</td><td>div.c</td></tr>
<tr><td class="rowname">Warning:</td><td><a href="#EndPath">line 2, column 12</a>