diff options
author | José Bollo <jose.bollo@iot.bzh> | 2020-01-23 18:09:51 +0100 |
---|---|---|
committer | José Bollo <jose.bollo@iot.bzh> | 2020-01-26 22:20:29 +0000 |
commit | 862fb68b0a1e60449ac6d977727c7e2b4f069c99 (patch) | |
tree | 0fcbed6c485cea2d676f992d37ecbbb45d014d99 /coverage/Makefile | |
parent | 65353dce81a629e042800bb7b86fcd869a76727e (diff) |
Fix globset compilation warningicefish_8.99.5icefish/8.99.58.99.5
The case of returning NULL is not tested in `globset_add`.
It is safe because `grow` is called first and then `search`
never returns a NULL pointer.
Bug-AGL: SPEC-3134
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Change-Id: I21e8ba3a6c8202a920c6784f4d61376450b9a063
Diffstat (limited to 'coverage/Makefile')
0 files changed, 0 insertions, 0 deletions