diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-15 14:12:22 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2017-03-20 11:20:02 +0100 |
| commit | 73c5c452234fbd619028667b5f7a6f97741da764 (patch) | |
| tree | 7c1cbe59de8e546f7bae14aea325e293108f4265 /lib/Core/Executor.h | |
| parent | 2824a126cb32001bdfb0cf43ad90ba1e01c2f71f (diff) | |
| download | klee-73c5c452234fbd619028667b5f7a6f97741da764.tar.gz | |
runtime: POSIX, check path prior dereference
clang warns about check-after-use in POSIX runtime:
runtime/POSIX/fd.c:573:17: warning: nonnull parameter 'path' will evaluate to 'true' on first r [-Wpointer-bool-conversion]
(path ? __concretize_string(path) : NULL),
^~~~ ~
path is dereferenced in __get_sym_file before this check. So add a check
to __get_sym_file and handle NULL appropriatelly by returning NULL too.
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions