From 6ca1b69b6f7edf5ad04baf372a195878e3724663 Mon Sep 17 00:00:00 2001 From: Jose Blanco Date: Thu, 10 May 2018 09:46:20 -0700 Subject: [PATCH] [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 | 2 +- infer/models/cpp/include/infer_model/unique_ptr.h | 2 +- infer/src/absint/ProcCfg.ml | 2 +- infer/src/absint/ProcCfg.mli | 2 +- infer/src/backend/dotty.ml | 4 ++-- infer/src/backend/errdesc.ml | 2 +- 6 files changed, 7 insertions(+), 7 deletions(-) diff --git a/infer/models/cpp/include/infer_model/shared_ptr.h b/infer/models/cpp/include/infer_model/shared_ptr.h index 5dcf0b021..ba1496e48 100644 --- a/infer/models/cpp/include/infer_model/shared_ptr.h +++ b/infer/models/cpp/include/infer_model/shared_ptr.h @@ -48,7 +48,7 @@ class shared_ptr : public std__shared_ptr { // 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) { diff --git a/infer/models/cpp/include/infer_model/unique_ptr.h b/infer/models/cpp/include/infer_model/unique_ptr.h index 53221a840..852702059 100644 --- a/infer/models/cpp/include/infer_model/unique_ptr.h +++ b/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 { diff --git a/infer/src/absint/ProcCfg.ml b/infer/src/absint/ProcCfg.ml index be7919542..d1891a2b8 100644 --- a/infer/src/absint/ProcCfg.ml +++ b/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 diff --git a/infer/src/absint/ProcCfg.mli b/infer/src/absint/ProcCfg.mli index 99cb0d9b0..c3a7e9ed1 100644 --- a/infer/src/absint/ProcCfg.mli +++ b/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) *) diff --git a/infer/src/backend/dotty.ml b/infer/src/backend/dotty.ml index 825347cb8..4d8131406 100644 --- a/infer/src/backend/dotty.ml +++ b/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 = diff --git a/infer/src/backend/errdesc.ml b/infer/src/backend/errdesc.ml index 91fd9f744..65e7164da 100644 --- a/infer/src/backend/errdesc.ml +++ b/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 *)