Merge pull request #5020 from diffblue/remove_value_set_analysis_fivr

remove value_set_analysis_fivr and value_set_analysis_fivrns

Author: Daniel Kroening

src/pointer-analysis/Makefile

@@ -5,15 +5,9 @@ SRC = add_failed_symbols.cpp \
       value_set.cpp \
       value_set_analysis.cpp \
       value_set_analysis_fi.cpp \
-      value_set_analysis_fivr.cpp \
-      value_set_analysis_fivrns.cpp \
       value_set_dereference.cpp \
       value_set_domain_fi.cpp \
-      value_set_domain_fivr.cpp \
-      value_set_domain_fivrns.cpp \
       value_set_fi.cpp \
-      value_set_fivr.cpp \
-      value_set_fivrns.cpp \
       # Empty last line
 
 INCLUDES= -I ..