Executor: do not crash on non-sized globals

Sometimes, globals are not sized and ->getTypeStoreSize on such type
crashes inside the LLVM. Check whether type is sized prior to calling
the function above.

A minimalistic example of Y being unsized with no effect on the actual
code is put to tests.

[v2]
Use klee_warning for printing. And use %.*s formatting string given
StringRef.data() need not be null terminated.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>

0 files changed, 0 insertions, 0 deletions