l#type-t">InstrRef.t</a> option</span> <span>&#45;&gt;</span> unit</code></dt><dd><p>Register the fact that issue happened. Depending on the error and mode, this error might or might not be reported to the user.</p></dd></dl><dl><dt class="spec value" id="val-report_forall_issues_and_reset"><a href="#val-report_forall_issues_and_reset" class="anchor"></a><code><span class="keyword">val</span> report_forall_issues_and_reset : <a href="../../Absint/IntraproceduralAnalysis/index.html#type-t">Absint.Intraproced