diff options
| author | Richard Yao <[email protected]> | 2022-09-16 16:45:15 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-09-16 13:45:15 -0700 |
| commit | 8da218a7a2ee0d0c0a0741f1007ebce0bf22584a (patch) | |
| tree | d27d48174d9d80e45674444c4d1ebe885e458f13 /include/libzfsbootenv.h | |
| parent | 1b6f3368dd5b416753178da06cb19c32798671e6 (diff) | |
Update coverity model
`uu_panic()` needs to be modelled and the definition of `vpanic()` from
the original coverity model was missing
`__coverity_format_string_sink__()`.
We also model `libspl_assertf()` as part of an attempt to eliminate
false positives.
Reviewed-by: Brian Behlendorf <[email protected]>
Signed-off-by: Richard Yao <[email protected]>
Closes #13901
Diffstat (limited to 'include/libzfsbootenv.h')
0 files changed, 0 insertions, 0 deletions