https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-03-13T11:45:00ZOpen-Source ProjectsKlever - Bug #9531: Environment models for void functions should not return any valueshttps://forge.ispras.ru/issues/9531?journal_id=357582019-03-13T11:45:00ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I fixed this in branch <em>frama-c-cil</em>.</p> Klever - Bug #9531: Environment models for void functions should not return any valueshttps://forge.ispras.ru/issues/9531?journal_id=357652019-03-13T12:32:27ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>Environment model for usb_kill_urb should not return any values</i> to <i>Environment models for void functions should not return any values</i></li><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul><p>This is also the case for <em>usb_poison_urb</em> and <em>flush_delayed_work</em>.</p> Klever - Bug #9531: Environment models for void functions should not return any valueshttps://forge.ispras.ru/issues/9531?journal_id=357662019-03-13T12:42:41ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li></ul><p>Finally fix this in <a class="changeset" title="Do not return anything from function that returns void Finally fixes https://forge.ispras.ru/iss..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/416ef3f20297761e713c3fc77a124673bf51db54">416ef3f</a> to branch <em>frama-c-cil</em>.</p> Klever - Bug #9531: Environment models for void functions should not return any valueshttps://forge.ispras.ru/issues/9531?journal_id=358712019-03-25T13:08:08ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>I merged the branch to master in <a class="changeset" title="Increase time limit since one test case exceeded the previous one from time to time https://forg..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/c082518076482dacb70c6e55c98814e7e2ea8da5">c082518</a>.</p>