Segfault when using fprintf(stderr, ...)

[bifbof]

Code Sample

// file fail.c
#include <stdio.h>
int main(void)
{
    fprintf(stderr, "Unsupported.\n");
    return 0;
}

Problem description
If I run this with ./genmc fail.c I reach a segfault.

The version:
GenMC v0.10.2 (commit #e2a7f1f)
Built with LLVM 18.1.3 (RelWithDebInfo)