xobx-cherif

WHen the input file does not include a main function the clang-fe binary hits a segmentation fault ```bash root@88a2e3099477:/code2inv# ./clang-fe/bin/clang-fe -smt ./example2.c input.cc:18:1: warning: control reaches end of non-void function...