From dfefd9710a3a64c5a81936d86f8b87d7ebc2e0b7 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 5 Jul 2018 12:17:02 +0100 Subject: Fixed runtest library to handle the case of a NULL "name" argument in klee_make_symbolic. Changed a test case to check this feature. --- runtime/Runtest/intrinsics.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'runtime') diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index ab441afc..2f9243f0 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -50,6 +50,10 @@ static void report_internal_error(const char *msg, ...) { } void klee_make_symbolic(void *array, size_t nbytes, const char *name) { + + if (!name) + name = "unnamed"; + static int rand_init = -1; if (rand_init == -1) { -- cgit 1.4.1