Merge pull request #1060 from owen-jones-diffblue/doc/fix-typos

Doc/fix typos

Author: Daniel Kroening

src/analyses/ai.h

@@ -280,7 +280,7 @@ class ai_baset
       std::pair<unsigned, locationt>(l->location_number, l));
   }
 
-  // true = found s.th. new
+  // true = found something new
   bool fixedpoint(
     const goto_programt &goto_program,
     const goto_functionst &goto_functions,
@@ -297,7 +297,7 @@ class ai_baset
     const goto_functionst &goto_functions,
     const namespacet &ns);
 
-  // true = found s.th. new
+  // true = found something new
   bool visit(
     locationt l,
     working_sett &working_set,

src/analyses/escape_analysis.cpp

@@ -371,7 +371,7 @@ void escape_domaint::check_lhs(
   {
     const irep_idt &identifier=to_symbol_expr(lhs).get_identifier();
 
-    // pointer with aleanup function?
+    // pointer with cleanup function?
     const escape_domaint::cleanup_mapt::const_iterator m_it=
       cleanup_map.find(identifier);
 

src/analyses/flow_insensitive_analysis.h

@@ -161,7 +161,7 @@ class flow_insensitive_analysis_baset
     working_set.push(l);
   }
 
-  // true = found s.th. new
+  // true = found something new
   bool fixedpoint(
     const goto_programt &goto_program,
     const goto_functionst &goto_functions);
@@ -173,7 +173,7 @@ class flow_insensitive_analysis_baset
   void fixedpoint(
     const goto_functionst &goto_functions);
 
-  // true = found s.th. new
+  // true = found something new
   bool visit(
     locationt l,
     working_sett &working_set,

src/analyses/global_may_alias.cpp

@@ -1,13 +1,13 @@
 /*******************************************************************\
 
-Module: Field-insensitive, location-sensitive gobal may alias analysis
+Module: Field-insensitive, location-sensitive global may alias analysis
 
 Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
 /// \file
-/// Field-insensitive, location-sensitive gobal may alias analysis
+/// Field-insensitive, location-sensitive global may alias analysis
 
 #include "global_may_alias.h"
 

src/analyses/goto_check.cpp

@@ -1560,7 +1560,7 @@ void goto_checkt::goto_check(
 
           add_guarded_claim(
             not_eq_null,
-            "this is null on method invokation",
+            "this is null on method invocation",
             "pointer dereference",
             i.source_location,
             pointer,

src/analyses/invariant_set.cpp

@@ -1103,7 +1103,7 @@ void invariant_sett::apply_code(const codet &code)
   }
   else if(statement==ID_function_call)
   {
-    // may be a desaster
+    // may be a disaster
     make_true();
   }
   else if(statement==ID_cpp_delete ||

src/analyses/invariant_set.h

@@ -108,7 +108,7 @@ class invariant_sett
     const irep_idt &identifier,
     std::ostream &out) const;
 
-  // true = added s.th.
+  // true = added something
   bool make_union(const invariant_sett &other_invariants);
 
   void strengthen(const exprt &expr);
@@ -214,7 +214,7 @@ class invariant_sett
 
   void get_bounds(unsigned a, boundst &dest) const;
 
-  // true = added s.th.
+  // true = added something
   bool make_union_bounds_map(const bounds_mapt &other);
 
   void modifies(unsigned a);

src/analyses/reaching_definitions.cpp

@@ -67,7 +67,7 @@ void rd_range_domaint::transform(
   // cleanup parameters
   else if(from->is_end_function())
     transform_end_function(ns, from, to, *rd);
-  // lhs assignements
+  // lhs assignments
   else if(from->is_assign())
     transform_assign(ns, from, from, *rd);
   // initial (non-deterministic) value
@@ -559,7 +559,7 @@ void rd_range_domaint::output(std::ostream &out) const
   }
 }
 
-/// \return returns true iff there is s.th. new
+/// \return returns true iff there is something new
 bool rd_range_domaint::merge_inner(
   values_innert &dest,
   const values_innert &other)
@@ -610,7 +610,7 @@ bool rd_range_domaint::merge_inner(
   return more;
 }
 
-/// \return returns true iff there is s.th. new
+/// \return returns true iff there is something new
 bool rd_range_domaint::merge(
   const rd_range_domaint &other,
   locationt from,
@@ -646,7 +646,7 @@ bool rd_range_domaint::merge(
   return changed;
 }
 
-/// \return returns true iff there is s.th. new
+/// \return returns true iff there is something new
 bool rd_range_domaint::merge_shared(
   const rd_range_domaint &other,
   goto_programt::const_targett from,

src/analyses/reaching_definitions.h

@@ -147,7 +147,7 @@ class rd_range_domaint:public ai_domain_baset
     make_top();
   }
 
-  // returns true iff there is s.th. new
+  // returns true iff there is something new
   bool merge(
     const rd_range_domaint &other,
     locationt from,

src/analyses/static_analysis.h

@@ -188,7 +188,7 @@ class static_analysis_baset
       std::pair<unsigned, locationt>(l->location_number, l));
   }
 
-  // true = found s.th. new
+  // true = found something new
   bool fixedpoint(
     const goto_programt &goto_program,
     const goto_functionst &goto_functions);
@@ -201,7 +201,7 @@ class static_analysis_baset
   void concurrent_fixedpoint(
     const goto_functionst &goto_functions);
 
-  // true = found s.th. new
+  // true = found something new
   bool visit(
     locationt l,
     working_sett &working_set,