This is an archive of the discontinued LLVM Phabricator instance.

[analyzer][solver] Remove reference to RangedConstraintManager
ClosedPublic

Authored by martong on Nov 5 2021, 4:06 AM.

Details

Summary

We no longer need a reference to RangedConstraintManager, we call top
level State->assume functions.

Diff Detail

Event Timeline

martong created this revision.Nov 5 2021, 4:06 AM
martong requested review of this revision.Nov 5 2021, 4:06 AM
Herald added a project: Restricted Project. · View Herald TranscriptNov 5 2021, 4:06 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript
steakhal accepted this revision.Nov 5 2021, 9:37 AM

Yey, it looks good.

clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
1608

It seems odd, that sometimes it's called Builder and more frequently simply SVB.
We should consider consolidating this.

This revision is now accepted and ready to land.Nov 5 2021, 9:37 AM