diff options
author | Dave Barach <dave@barachs.net> | 2017-06-13 17:04:28 -0400 |
---|---|---|
committer | Chris Luke <chris_luke@comcast.com> | 2017-06-14 11:35:12 +0000 |
commit | 28b70af8e5b4bea004138cfca74e79b44803c5db (patch) | |
tree | 4aed49dcdfb26c03d4f7483d4c1a004527430327 /src/vppinfra/random_buffer.h | |
parent | 6f7ebf900e6c65b73f8bb8f60ab5190cc2c893bc (diff) |
VPP-874: fix coverity warnings in tw_timer_template.c
Best guess, tested carefully, should do no harm. Clang doesn't
complain either way; it's not certain that this patch will make the
coverity warnings in tw_timer_template.c disappear.
Change-Id: I75aa0cfd8970751e823a1165df2a755e947c4cf9
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/random_buffer.h')
0 files changed, 0 insertions, 0 deletions