Actions
Bug #11956
open
smatch check_free false positive
Status:
New
Priority:
Normal
Assignee:
-
Category:
tools - gate/build tools
Start date:
Due date:
% Done:
0%
Estimated time:
Difficulty:
Medium
Tags:
smatch
Gerrit CR:
External Bug:
Description
As mentioned in #11951, smatch incorrectly flagged the code in ipmp_snap_take() as dereferencing freed memory as well as a double free.
Related issues
Updated by Jason King almost 4 years ago
- Related to Bug #11951: smatch sometimes flags problems with ipmp_snap_take() added
Actions