Actions
Bug #7928
openRule linux:block:genhd forbids double allocation
Status:
New
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
01/30/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
The rule forbids double allocation of disk (alloc_disk calls) but callbacks with such allocation can be called twice or more times at least with different parameters, so the assertion should be likely removed.
Actions