Skip to content

Commit 3674639

Browse files
authored
Merge pull request #4775 from romainbrenguier/clean-up/deprecated-get-value-set-part2
Remove use of deprecated get_value_set function
2 parents 3458820 + 1b237a1 commit 3674639

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

src/pointer-analysis/value_set_dereference.cpp

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -104,9 +104,8 @@ exprt value_set_dereferencet::dereference(const exprt &pointer)
104104
#endif
105105

106106
// collect objects the pointer may point to
107-
value_setst::valuest points_to_set;
108-
109-
dereference_callback.get_value_set(pointer, points_to_set);
107+
const std::vector<exprt> points_to_set =
108+
dereference_callback.get_value_set(pointer);
110109

111110
#ifdef DEBUG
112111
std::cout << "value_set_dereferencet::dereference points_to_set={";

0 commit comments

Comments
 (0)