[infer][PR] fixed typos

Summary: Closes https://github.com/facebook/infer/pull/916

Differential Revision: D7953433

Pulled By: jvillard

fbshipit-source-id: 5ea1445

infer/models/cpp/include/infer_model/shared_ptr.h

@@ -48,7 +48,7 @@ class shared_ptr : public std__shared_ptr<T> {
 // use it to avoid compilation errors and make infer analyzer happy
 #define __cast_to_infer_ptr(self) ((infer_shared_ptr_t)self)
 
-  // provide overload for volatile void* to accomodate for situation when
+  // provide overload for volatile void* to accommodate for situation when
   // T is volatile ('volatile int' for example). 'void*' and 'nullptr_t'
   // overloads are to avoid 'call to model_set is ambiguous' compilation errors
   static void model_set(infer_shared_ptr_t self, nullptr_t value) {

infer/models/cpp/include/infer_model/unique_ptr.h

@@ -50,7 +50,7 @@ struct unique_ptr {
 // use it to avoid compilation errors and make infer analyzer happy
 #define __cast_to_infer_ptr(self) ((infer_unique_ptr_t)self)
 
-  // provide overload for volatile void* to accomodate for situation when
+  // provide overload for volatile void* to accommodate for situation when
   // T is volatile ('volatile int' for example). 'void*' and 'nullptr_t'
   // overloads are to avoid 'call to model_set is ambiguous' compilation errors
   static void model_set(infer_unique_ptr_t self, nullptr_t value) noexcept {

infer/src/absint/ProcCfg.ml

@@ -131,7 +131,7 @@ module type S = sig
   (** exceptional successors *)
 
   val exceptional_preds : t -> node -> node list
-  (** exceptional predescessors *)
+  (** exceptional predecessors *)
 
   val start_node : t -> node
 

infer/src/absint/ProcCfg.mli

@@ -50,7 +50,7 @@ module type S = sig
   (** get the instructions from a node *)
 
   val succs : t -> node -> node list
-  (** all succcessors (normal and exceptional) *)
+  (** all successors (normal and exceptional) *)
 
   val preds : t -> node -> node list
   (** all predecessors (normal and exceptional) *)

infer/src/backend/dotty.ml

@@ -184,7 +184,7 @@ and get_contents pe coo f = function
       F.fprintf f "%a | %a" (get_contents_single pe coo) idx_se (get_contents pe coo) l
 
 
-(* true if node is the sorce node of the expression e*)
+(* true if node is the source node of the expression e*)
 let is_source_node_of_exp e node =
   match node with Dotpointsto (_, e', _) -> Exp.equal e e' | _ -> false
 
@@ -626,7 +626,7 @@ let rec dotty_mk_set_links dotnodes sigma p f cycle =
           let address_struct_id =
             get_coordinate_id (List.hd_exn (List.filter ~f:(is_source_node_of_exp e) nodes_e))
           in
-          (* we need to exclude the address node from the sorce of fields. no fields should start from there*)
+          (* we need to exclude the address node from the source of fields. no fields should start from there*)
           let nl' = List.filter ~f:(fun id -> address_struct_id <> id) nl in
           let links_from_fields = List.concat_map ~f:ff nl' in
           let lnk_from_address_struct =

infer/src/backend/errdesc.ml

@@ -1192,7 +1192,7 @@ let explain_divide_by_zero tenv exp node loc =
       Localise.no_desc
 
 
-(** explain a fronend warning *)
+(** explain a frontend warning *)
 let explain_frontend_warning loc = Localise.desc_frontend_warning loc
 
 (** explain a condition which is always true or false *)