This revision was automatically updated to reflect the committed changes.
Closed by commit rG01c9700aaad3: [analyzer][solver] Remove reference to
RangedConstraintManager (authored by martong).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D113261/new/
steakhal accepted this revision.
steakhal added a comment.
This revision is now accepted and ready to land.
Yey, it looks good.
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1608
LLVM_NODISCARD static ProgramStateRef
- assign(ProgramStateRef State, Ra
martong created this revision.
martong added reviewers: steakhal, ASDenysPetrov, NoQ.
Herald added subscribers: manas, gamesh411, dkrupp, donat.nagy, Szelethus,
mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware, xazax.hun,
whisperity.
Herald added a reviewer: Szelethus.
martong req
