diff options
| author |   Marco Varlese <marco.varlese@suse.com> | 2017-11-27 16:46:04 +0100 |
|---|---|---|
| committer |   Chris Luke <chris_luke@comcast.com> | 2017-11-27 18:48:14 +0000 |
| commit | 7af4a57e7824c850f28a3cc5b4451a9e9baad068 (patch) | |
| tree | 2e1aa8e1e5bff498197e542d24b7819b96a5ce2b /src/vppinfra/pool.h | |
| parent | 1d781558da28f72f5233c09835663aa3b42e2d97 (diff) | |
Address COVERITY warnings
Among many false positives the potential NULL pointer dereference seems
to be a valid one hence addressing that with this patch.
Change-Id: Ia55784475294e96f60df64baf8820b459bb85bb7
Signed-off-by: Marco Varlese <marco.varlese@suse.com>
Diffstat (limited to 'src/vppinfra/pool.h')
0 files changed, 0 insertions, 0 deletions