Pointer analysis: Replace uses of namespacet::follow
83.78% of diff hit (target 77.96%)
View this Pull Request on Codecov
83.78% of diff hit (target 77.96%)
Annotations
Check warning on line 883 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L883
Added line #L883 was not covered by tests
Check warning on line 886 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L886
Added line #L886 was not covered by tests
Check warning on line 1442 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1440-L1442
Added lines #L1440 - L1442 were not covered by tests
Check warning on line 1445 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1445
Added line #L1445 was not covered by tests
Check warning on line 1547 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1547
Added line #L1547 was not covered by tests
Check warning on line 193 in src/pointer-analysis/value_set_analysis_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_analysis_fi.cpp#L193
Added line #L193 was not covered by tests
Check warning on line 195 in src/pointer-analysis/value_set_analysis_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_analysis_fi.cpp#L195
Added line #L195 was not covered by tests
Check warning on line 1097 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1097
Added line #L1097 was not covered by tests
Check warning on line 1109 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1109
Added line #L1109 was not covered by tests
Check warning on line 1127 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1127
Added line #L1127 was not covered by tests