diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index ae7aef2e3c2d93304090e54e40b9e78f1b53f7e2..89aab055894cea8159e3e479ce73ed8b89b8ff78 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/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