[clang] move AL source code to new al/ folder

Summary: AL makes for close to a third of the source files in clang/. Put the code in its own folder for clarity.

Reviewed By: ezgicicek

Differential Revision: D16962438

fbshipit-source-id: 3373e69b9

infer/src/al/cFrontend_errors.mli

@@ -19,11 +19,10 @@ val filter_parsed_linters : linter list -> SourceFile.t -> linter list
 
 val pp_linters : Format.formatter -> linter list -> unit
 
-(* map used to expand macro. It maps a formula id to a triple
+(** map used to expand macro. It maps a formula id to a triple
    (visited, parameters, definition).
    Visited is used during the expansion phase to understand if the
    formula was already expanded and, if yes we have a cyclic definifion *)
-
 type macros_map = (bool * ALVar.t list * CTL.t) ALVar.FormulaIdMap.t
 
 (** Map a path name to a list of paths.  *)

infer/src/deadcode/Makefile

@@ -44,8 +44,8 @@ ml_src_files_without_mli:=$(shell cd .. && for i in $$(find . -not -path "./*stu
 depend:
 	cd .. && \
 	ocamldep -native \
-	  -I IR -I absint -I atd -I backend -I base -I biabduction -I bufferoverrun -I checkers \
+	  -I IR -I absint -I al -I atd -I backend -I base -I biabduction -I bufferoverrun \
-	  -I clang -I concurrency -I facebook -I integration -I istd -I java \
+	  -I checkers -I clang -I concurrency -I facebook -I integration -I istd -I java \
 	  -I labs -I nullsafe -I pulse -I scuba -I quandary -I topl -I unit -I unit/clang -I deadcode \
 	   $(ml_src_files) > deadcode/.depend
 

infer/src/dune.in

@@ -11,7 +11,8 @@ let ( ^/ ) = Filename.concat
 
 let source_dirs =
   (if facebook then "facebook" else "opensource")
-  :: ( (if clang then ["clang"; "unit" ^/ "clang"] else ["clang_stubs"; "unit" ^/ "clang_stubs"])
+  :: ( ( if clang then ["al"; "clang"; "unit" ^/ "clang"]
+       else ["clang_stubs"; "unit" ^/ "clang_stubs"] )
      @ [ (if java then "java" else "java_stubs")
        ; "absint"
        ; "backend"