Balazs Benics 3dc159431b

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368) ...

Well, yes. It's not pretty.
At least after this we would have a bit more unique pointers than
before.

This is for fixing the memory leak diagnosed by:
https://lab.llvm.org/buildbot/#/builders/24/builds/5580

And that caused the revert of #127409.

After these uptrs that patch can re-land finally.

2025-02-24 11:34:36 +01:00

..

AnalysisManager.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

AnalyzerOptions.cpp

…

APSIntType.cpp

…

BasicValueFactory.cpp

[analyzer][NFC] Introduce APSIntPtr, a safe wrapper of APSInt (1/4) (#120435)

2024-12-19 12:04:04 +01:00

BlockCounter.cpp

…

BugReporter.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

BugReporterVisitors.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

BugSuppression.cpp

[analyzer] Add time-trace scopes for high-level analyzer steps (#125508)

2025-02-05 17:22:18 +01:00

CallDescription.cpp

[analyzer][NFC] Require explicit matching mode for CallDescriptions (#92454)

2024-05-17 13:08:45 +02:00

CallEvent.cpp

[analyzer] Simplify CallEvent castArgToParamTypeIfNeeded (#120981)

2024-12-24 17:05:38 +01:00

Checker.cpp

…

CheckerContext.cpp

[StrTable] Switch Clang builtins to use string tables

2025-02-04 18:04:57 +00:00

CheckerHelpers.cpp

[analyzer] Fix false positive for mutexes inheriting mutex_base (#106240)

2024-08-28 11:30:18 +02:00

CheckerManager.cpp

[analyzer] Add time-trace scopes for high-level analyzer steps (#125508)

2025-02-05 17:22:18 +01:00

CheckerRegistryData.cpp

…

CMakeLists.txt

Reland "[analyzer][NFC] Reorganize Z3 report refutation" (#97265)

2024-07-01 16:03:18 +02:00

CommonBugCategories.cpp

…

ConstraintManager.cpp

Revert "[analyzer][Solver] Early return if sym is concrete on assuming" (#116362)

2024-11-15 10:28:40 +01:00

CoreEngine.cpp

[analyzer] Refine TimeTrace name for dispatchWorkItem (#128352)

2025-02-24 08:36:05 +01:00

DynamicExtent.cpp

[analyzer] Refactor MallocChecker to use BindExpr in evalCall (#106081)

2024-09-16 06:48:07 +02:00

DynamicType.cpp

…

Environment.cpp

…

ExplodedGraph.cpp

[analyzer][NFC] Remove a redundant container lookup (#125064)

2025-01-30 20:48:43 +01:00

ExprEngine.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

ExprEngineC.cpp

[HLSL] Implement HLSL Aggregate splatting (#118992)

2025-02-14 09:25:24 -08:00

ExprEngineCallAndReturn.cpp

[analyzer] Avoid out-of-order node traversal on void return (#117863)

2024-11-27 14:27:31 +01:00

ExprEngineCXX.cpp

Revert "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)"

2024-12-19 17:02:16 +00:00

ExprEngineObjC.cpp

[StaticAnalyzer] Fix state update in VisitObjCForCollectionStmt (#124477)

2025-01-30 16:21:46 -08:00

FunctionSummary.cpp

…

HTMLDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

LoopUnrolling.cpp

[analyzer] Fix zext assertion failure in loop unrolling (#121203)

2024-12-28 11:09:29 +01:00

LoopWidening.cpp

…

MemRegion.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

PlistDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

PrettyStackTraceLocationContext.h

…

ProgramState.cpp

[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)

2024-12-19 12:51:40 +01:00

RangeConstraintManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

RangedConstraintManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

RegionStore.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

SarifDiagnostics.cpp

[analyzer] Clean up slightly the messed up ownership model of the analyzer (#128368)

2025-02-24 11:34:36 +01:00

SimpleConstraintManager.cpp

[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)

2024-12-19 12:51:40 +01:00

SimpleSValBuilder.cpp

[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#123003)

2025-02-22 12:37:00 +01:00

SMTConstraintManager.cpp

…

Store.cpp

[analyzer] Fix crash on using bitcast(<type>, <array>) as array subscript (#101647)

2024-08-02 17:04:57 +02:00

SValBuilder.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

SVals.cpp

[analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (#120437)

2024-12-19 12:57:51 +01:00

SymbolManager.cpp

[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)

2025-01-10 08:21:00 +01:00

TextDiagnostics.cpp

[clang] Extend diagnose_if to accept more detailed warning information, take 2 (#119712)

2025-01-28 08:41:31 +01:00

WorkList.cpp

…

Z3CrosscheckVisitor.cpp

[analyzer] Retry UNDEF Z3 queries 2 times by default (#120239)

2025-01-06 18:08:12 +01:00