diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2020-12-04 07:22:01 +0000 |
|---|---|---|
| committer |   Ole Tr�an <otroan@employees.org> | 2020-12-04 08:41:38 +0000 |
| commit | 86ffb6b232d5ebce03cf53249fa1514384f31cce (patch) | |
| tree | 69081f9176200f415753d3da3870f48a28266078 /src/vppinfra/tw_timer_2t_2w_512sl.h | |
| parent | 068ad25c1ac1215761e1436abfc2033a6bb71b64 (diff) | |
stats: fix coverity issues
Usage of the possibly negative value with subsequent check on it
makes coverity very unhappy, so put the check before use.
Change-Id: I731fbe6246f9e4212d546fd9277bc1ddcd3c2ec1
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'src/vppinfra/tw_timer_2t_2w_512sl.h')
0 files changed, 0 insertions, 0 deletions