warn before analyzing a program that doesn't compile?

For example the following doesn't compile, but goblint doesn't say anything:

int f(int a, int b){
    int x = b; // this is bottom
    return a;
}
int main(){
    return f(1);
}

• Add option (on by default, but possible to turn off) to use GCC to check whether the program compiles, and abort if if does not
• stop Goblint execution when Cil creates a Boo inline Assembly instruction.
  • In Cil: when this assembly instruction is produces, as of now, instead fail.