From 3cf774a1424ba584b8833dc614ca6c34eda1ba21 Mon Sep 17 00:00:00 2001 From: Radu Grigore Date: Tue, 28 May 2019 09:30:19 -0700 Subject: [PATCH] Fixed typos in comments. Reviewed By: ddino Differential Revision: D15512983 fbshipit-source-id: aa693cc5a --- infer/src/IR/Sil.mli | 2 +- infer/src/IR/Typ.ml | 2 +- infer/src/biabduction/SymExec.ml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/IR/Sil.mli b/infer/src/IR/Sil.mli index 31ff0468e..d0ca41eea 100644 --- a/infer/src/IR/Sil.mli +++ b/infer/src/IR/Sil.mli @@ -48,7 +48,7 @@ type instr = [*lexp1:typ = exp2] where [lexp1] is an expression denoting a heap address [typ] is the root type of [lexp1] - [exp2] is the expression whose value is store. *) + [exp2] is the expression whose value is stored. *) | Prune of Exp.t * Location.t * bool * if_kind (** prune the state based on [exp=1], the boolean indicates whether true branch *) | Call of (Ident.t * Typ.t) * Exp.t * (Exp.t * Typ.t) list * Location.t * CallFlags.t diff --git a/infer/src/IR/Typ.ml b/infer/src/IR/Typ.ml index a6f6dca91..6c5270d9d 100644 --- a/infer/src/IR/Typ.ml +++ b/infer/src/IR/Typ.ml @@ -1196,7 +1196,7 @@ module Procname = struct match p with | Java pname -> (* Strip autogenerated anonymous inner class numbers in order to keep the bug hash - invariant when introducing new annonynous classes *) + invariant when introducing new anonymous classes *) Str.global_replace (Str.regexp "\\$[0-9]+") "$_" (Java.to_string ~withclass:true pname Simple) | ObjC_Cpp m when ObjC_Cpp.is_objc_method m -> diff --git a/infer/src/biabduction/SymExec.ml b/infer/src/biabduction/SymExec.ml index 5fa0bc53d..3a68909c7 100644 --- a/infer/src/biabduction/SymExec.ml +++ b/infer/src/biabduction/SymExec.ml @@ -1274,7 +1274,7 @@ let rec sym_exec exe_env tenv current_pdesc instr_ (prop_ : Prop.normal Prop.t) let skip_loop = match ik with | Sil.Ik_while | Sil.Ik_for -> - not (IntLit.iszero i) (* skip wile(1) and for (;1;) *) + not (IntLit.iszero i) (* skip while(1) and for (;1;) *) | Sil.Ik_dowhile -> true (* skip do..while *) | Sil.Ik_land_lor ->