[analyzer] SValBuilder should have an easy access to AnalyzerOptions
authorBalazs Benics <balazs.benics@sigmatechnology.se>
Sat, 4 Sep 2021 08:19:57 +0000 (10:19 +0200)
committerBalazs Benics <balazs.benics@sigmatechnology.se>
Sat, 4 Sep 2021 08:19:57 +0000 (10:19 +0200)
commitb97a96400a3f9ec33b80d0726111aae1c7b24513
treec43ff364d8d1a3c1d79d0d04fbf693dbd22abd9c
parent91c07eb8ee6ea2d48158dce123bac7b7c30eb294
[analyzer] SValBuilder should have an easy access to AnalyzerOptions

`SVB.getStateManager().getOwningEngine().getAnalysisManager().getAnalyzerOptions()`
is quite a mouthful and might involve a few pointer indirections to get
such a simple thing like an analyzer option.

This patch introduces an `AnalyzerOptions` reference to the `SValBuilder`
abstract class, while refactors a few cases to use this /simpler/ accessor.

Reviewed By: martong, Szelethus

Differential Revision: https://reviews.llvm.org/D108824
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
clang/lib/StaticAnalyzer/Core/MemRegion.cpp
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp