Requests in the PR (structure of comments).

Author: marek-trtik

src/pointer-analysis/value_set.cpp

@@ -369,8 +369,8 @@ 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
+/// 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)
 {
@@ -390,8 +390,8 @@ 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
+/// 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)
 {

src/pointer-analysis/value_set.h

@@ -221,10 +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
+  /// Computes all pointers which MAY point to objects pointed to by expr
+  /// \param expr: Identifies a points-to set for which to compute aliases
+  /// \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,10 +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
+  /// 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,