diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-11-26 17:40:49 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-23 16:50:11 +0000 |
| commit | b73c455670c467539a28611be8d30ac421be8441 (patch) | |
| tree | 7608aada8d2993568e7253a95fbc47d468701360 /cmake/find_metasmt.cmake | |
| parent | bb6d9441d15e7205eb64ac4f53a2652940df180e (diff) | |
| download | klee-b73c455670c467539a28611be8d30ac421be8441.tar.gz | |
posix runtime: getcwd: check malloc and set errno
* failing malloc was not handled before, now returns null/ENOMEM * when path is non-null and size is zero return null/EINVAL
Diffstat (limited to 'cmake/find_metasmt.cmake')
0 files changed, 0 insertions, 0 deletions