https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692012-07-20T08:07:42ZOpen-Source ProjectsLinux Kernel Safety RuleDB - Feature #3239: 008: Driver becomes not available for unloading permanently https://forge.ispras.ru/issues/3239?journal_id=120842012-07-20T08:07:42ZIlya Shchepetkovshchepetkov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>008: Driver becomes not available for unloading permanently </i> to <i>08_1: Driver becomes not available for unloading permanently </i></li><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Fixed in commit d83e232 of fix_08_1a branch. Will be merged to master together with it.</p> Linux Kernel Safety RuleDB - Feature #3239: 008: Driver becomes not available for unloading permanently https://forge.ispras.ru/issues/3239?journal_id=154292013-03-08T16:11:39ZAlexey Khoroshilovkhoroshilov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>08_1: Driver becomes not available for unloading permanently </i> to <i>008_1: Driver becomes not available for unloading permanently </i></li></ul> Linux Kernel Safety RuleDB - Feature #3239: 008: Driver becomes not available for unloading permanently https://forge.ispras.ru/issues/3239?journal_id=181692013-11-22T12:56:33ZVadim Mutilinmutilin@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>008_1: Driver becomes not available for unloading permanently </i> to <i>008: Driver becomes not available for unloading permanently </i></li></ul> Linux Kernel Safety RuleDB - Feature #3239: 008: Driver becomes not available for unloading permanently https://forge.ispras.ru/issues/3239?journal_id=182372013-12-01T14:45:02ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul><p>Commit <a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Makefile?id=762fb1ddd561aac5b14afac19287672b99242811" class="external">762fb1d</a> to the main kernel Makefile in particular has added "-Werror=strict-prototypes" to <em>CFLAGS</em>. This causes an error for function prototype:<br /><pre>
extern void ldv_module_put_and_exit();
</pre></p> Linux Kernel Safety RuleDB - Feature #3239: 008: Driver becomes not available for unloading permanently https://forge.ispras.ru/issues/3239?journal_id=186172014-02-12T10:07:12ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>Assignee</strong> deleted (<del><i>Ilya Shchepetkov</i></del>)</li></ul><p>The issue was fixed in <a class="changeset" title="Fix of prototype of ldv_module_put_and_exit in model of 08_1a." href="https://forge.ispras.ru/projects/ldv-rules/repository/122/revisions/661eeff98a965b7f368824e43bdb221da157173e">661eeff9</a> by Vladimir.</p>