Sarah Spall 01072e546f

[HLSL] Implement HLSL Flat casting (excluding splat cases) (#118842) ...

Implement HLSLElementwiseCast excluding support for splat cases
Do not support casting types that contain bitfields.
Partly closes #100609 and partly closes #100619

2025-02-06 14:38:01 -08:00

..

AnalysisManager.cpp

…

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] Use getFileName and do not use realpath names (#126039)

2025-02-06 11:15:20 +01:00

BugReporterVisitors.cpp

[analyzer] Relax assertion in BugReporterVisitors.cpp isInitializationOfVar (#125044)

2025-01-30 12:48:09 +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] Add time-trace scopes for high-level analyzer steps (#125508)

2025-02-05 17:22:18 +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] Add -ftime-trace scopes for region-store bindings and removeDead (#125884)

2025-02-06 16:09:14 +01:00

ExprEngineC.cpp

[HLSL] Implement HLSL Flat casting (excluding splat cases) (#118842)

2025-02-06 14:38:01 -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

[clang][NFC] declare internal linkage function static (#108759)

2024-09-16 22:02:38 +08: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] Consolidate array bound checkers (#125534)

2025-02-06 17:45:42 +01:00

PlistDiagnostics.cpp

[clang] Tidy uses of raw_string_ostream (NFC)

2024-09-19 14:56:45 -05: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] Add -ftime-trace scopes for region-store bindings and removeDead (#125884)

2025-02-06 16:09:14 +01:00

SarifDiagnostics.cpp

…

SimpleConstraintManager.cpp

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

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

SimpleSValBuilder.cpp

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

2025-01-10 08:21: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