diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-11-26 20:07:33 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-23 16:36:58 +0000 |
| commit | 302fae71de57d368505071637b3b0de539cf296b (patch) | |
| tree | 71121a1b57bca8d4f6c55a30b51b73b558cd8970 /runtime | |
| parent | 5a194aa99fe2a13857dad2a5a5113b5856f8001d (diff) | |
| download | klee-302fae71de57d368505071637b3b0de539cf296b.tar.gz | |
posix runtime: remove dead branch
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/klee_init_env.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/runtime/POSIX/klee_init_env.c b/runtime/POSIX/klee_init_env.c index f691c743..f45ddf3c 100644 --- a/runtime/POSIX/klee_init_env.c +++ b/runtime/POSIX/klee_init_env.c @@ -26,18 +26,17 @@ static void __emit_error(const char *msg) { /* Helper function that converts a string to an integer, and terminates the program with an error message is the string is not a - proper number */ + proper number */ static long int __str_to_int(char *s, const char *error_msg) { long int res = 0; char c; - if (!*s) __emit_error(error_msg); + if (!*s) + __emit_error(error_msg); while ((c = *s++)) { - if (c == '\0') { - break; - } else if (c>='0' && c<='9') { - res = res*10 + (c - '0'); + if (c >= '0' && c <= '9') { + res = res * 10 + (c - '0'); } else { __emit_error(error_msg); } |