Updates requested in the PR (added comments).

Author: marek-trtik

src/pointer-analysis/value_set.cpp

@@ -369,6 +369,9 @@ void value_sett::get_value_set(
   #endif
 }
 
+/// \brief Builds a version of expr suitable for alias-comparison
+/// \param expr The expression to be converted to the alias-uniform structure
+/// \return expr without information which is irrelevant to alias-comparison
 static exprt get_uniform_expr(const exprt &expr)
 {
   if(expr.id()==ID_object_descriptor)
@@ -387,6 +390,9 @@ static exprt get_uniform_expr(const exprt &expr)
   return expr;
 }
 
+/// \brief Reconstructs a type of a pointer to the object expr
+/// \param expr An object in a points-to set we make an alias type for
+/// \return A type of a pointer to the object expr
 static typet get_alias_type(const exprt &expr)
 {
   if(expr.id()==ID_object_descriptor)

src/pointer-analysis/value_set.h

@@ -221,6 +221,10 @@ class value_sett
     value_setst::valuest &dest,
     const namespacet &ns) const;
 
+  /// \brief Computes all pointers which MAY point to objects pointed to by expr
+  /// \param expr Identifies a points
+  /// \param dest Output container for pointers to objects pointed to by expr
+  /// \param ns A reference to a symbol table
   void get_may_alias_set(
     const exprt &expr,
     value_setst::valuest &dest,

src/pointer-analysis/value_set_analysis.h

@@ -113,6 +113,10 @@ class value_set_analysis_baset:
       baset::ns);
   }
 
+  /// \brief Fills in dest with all pointers to any object pointed to be expr
+  /// \param l A program location w.r.t which the operation will be performed
+  /// \param expr Identifies a points-to set whose aliases we will compute
+  /// \param dest Output container for aliases
   virtual void get_may_alias_values(
     locationt l,
     const exprt &expr,