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/tools/vppapigen/vppapigen.py | |
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/tools/vppapigen/vppapigen.py')
0 files changed, 0 insertions, 0 deletions