Merge branch 'feature/kernel/clang-is-gccMode' into 'master'

[kernel] acknowledge that clang has the same builtins as gcc

See merge request frama-c/frama-c!4329

src/kernel_services/ast_queries/cil.ml

@@ -160,7 +160,8 @@ let copyMachine src dst =
 let theMachine = createMachine ()
 
 let msvcMode () = (theMachine.theMachine.compiler = "msvc")
-let gccMode () = (theMachine.theMachine.compiler = "gcc")
+let gccMode () = (theMachine.theMachine.compiler = "gcc"
+                  || theMachine.theMachine.compiler = "clang")
 
 let acceptEmptyCompinfo = ref false