warn before analyzing a program that doesn't compile?

[vogler]

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.

[jerhard]

One should check whether compiling random C code can have malicious effects.