[clang] [analyzer] Remove barely used class 'KnownSVal' (NFC) (PR #86953)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 28 09:37:50 PDT 2024
================
@@ -1238,12 +1238,12 @@ class StoreSiteFinder final : public TrackingBugReporterVisitor {
/// changes to its value in a nested stackframe could be pruned, and
/// this visitor can prevent that without polluting the bugpath too
/// much.
- StoreSiteFinder(bugreporter::TrackerRef ParentTracker, KnownSVal V,
+ StoreSiteFinder(bugreporter::TrackerRef ParentTracker, SVal V,
const MemRegion *R, TrackingOptions Options,
const StackFrameContext *OriginSFC = nullptr)
: TrackingBugReporterVisitor(ParentTracker), R(R), V(V), Options(Options),
OriginSFC(OriginSFC) {
- assert(R);
+ assert(!V.isUnknown() && R);
----------------
steakhal wrote:
Split these conditions to different assertions.
https://github.com/llvm/llvm-project/pull/86953
More information about the cfe-commits
mailing list