¶void trackStoredValue(
    clang::ento::KnownSVal V,
    const clang::ento::MemRegion* R,
    clang::ento::PathSensitiveBugReport& Report,
    clang::ento::bugreporter::TrackingOptions
        Opts = {},
    const clang::StackFrameContext* Origin =
        nullptr)

Description

Track how the value got stored into the given region and where it came from.

Declared at: clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h:379

Parameters

clang::ento::KnownSVal V

We're searching for the store where \c R received this value.

const clang::ento::MemRegion* R

The region we're tracking.

clang::ento::PathSensitiveBugReport& Report

clang::ento::bugreporter::TrackingOptions Opts = {}

Tracking options specifying how we want to track the value.

const clang::StackFrameContext* Origin = nullptr

Only adds notes when the last store happened in a different stackframe to this one. Disregarded if the tracking kind is thorough. This is useful, because for non-tracked regions, notes about changes to its value in a nested stackframe could be pruned, and this visitor can prevent that without polluting the bugpath too much.