Merge pull request #7025 from martin-cs/fix/remove-value-set-fiv-headers

Remove the headers for the validity regions pointer analyses

Author: tautschnig

src/analyses/README.md

@@ -41,8 +41,7 @@ for example by walking a chain of pointers and updating a points-to set, but
 abstract value (for example, SKIP instructions). Therefore, not recommended for
 new code.
 
-Only current user in-tree is \ref value_set_analysis_fit and its close
-relatives, \ref value_set_analysis_fivrt and \ref value_set_analysis_fivrnst
+Only current user in-tree is \ref value_set_analysis_fit.
 
 \section analyses-specific-analyses Specific analyses:
 

src/pointer-analysis/README.md

@@ -51,14 +51,6 @@ program. The main classes are \ref value_set_analysis_templatet,
 
 To be documented.
 
-\subsubsection pointer-analysis-flow-insensitive-with-vr Flow-insensitive with 'vr' (value reduction?)
-
-To be documented.
-
-\subsubsection pointer-analysis-flow-insensitive-with-vr-ns Flow-insensitive with 'vr' and 'ns' (value reduction, ???)
-
-To be documented.
-
 \section pointer-analysis-transformations Transformations:
 
 \subsection pointer-analysis-add-failed-symbols