…s. (#5732)

…5733)

Bumps [taiki-e/install-action](https://github.com/taiki-e/install-action) from 2.62.24 to 2.62.33.
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](taiki-e/install-action@7ec692f...e43a502)

---
updated-dependencies:
- dependency-name: taiki-e/install-action
  dependency-version: 2.62.33
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 7.1.0 to 7.1.1.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@3259c62...2ddd2b9)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.1.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.14.0 → v0.14.1](astral-sh/ruff-pre-commit@v0.14.0...v0.14.1)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

)

…after writes to full regs. (#5708)

* SSA: Update partial regs after updating the full reg.

* Type check.

* Update VirtualVariable.__repr__.

* SRDA: Use all live reg vvars at call sites instead of the largest one of each register.

* SSARewriting: Do not update the base register if there is no overlap.

* Update test cases.

* NarrowExpr: Do not ignore unknown call arguments; Consider vvar effective sizes.

* Bug fix and update test cases.

* Lint code.

* GraphDephication: Use phivar's category and oident for new vvars.

* Ssailification: Support partial register reads after full register writes.

* Narrow expr: Skip statements where the vvar is used as the base value of a register.

* Remove the logic for partial reg/stackvar accesses.

* Undo the changes to the msvcrt_setsbuplow test case.

* Add a new test case.

…ed away. (#5710)

* AILSimplifier: Use callee-saved regs before spilled regs are simplified away.

* Lint and type check.

* zero extend in OpBehaviorIntRight

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

…ccessing.

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 7.1.1 to 7.1.2.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@2ddd2b9...8585678)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.1.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 5.0.0 to 6.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](actions/download-artifact@634f93c...018cc2c)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: 6.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4.6.2 to 5.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@ea165f8...330a01c)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-version: 5.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Definitions: Add Guid for Win32 typelib.

* Reimplement stack struct type mapping.

* Lint and type check.

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.14.1 → v0.14.2](astral-sh/ruff-pre-commit@v0.14.1...v0.14.2)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

…op reference handling. (#5950)

…ng again. (#5951)

* VRA: Fix redundant typevars created in Reference handler.

Also:

- Fix an issue in CallingConventionAnalysis that does not mark
prototypes from SimProcedures as not-guessed (certain).

- Fix an issue where Clinic incorrectly overwrites function
prototypes of PLT stubs using callee information.

- Fix an issue where changing the types of stack variables may not work
if the stack variables are accessed via references.

* SimpleSolver: Hack around variable size mismatch issues.

Bumps [taiki-e/install-action](https://github.com/taiki-e/install-action) from 2.63.3 to 2.65.1.
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](taiki-e/install-action@d850aa8...b9c5db3)

---
updated-dependencies:
- dependency-name: taiki-e/install-action
  dependency-version: 2.65.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [codecov/test-results-action](https://github.com/codecov/test-results-action) from 1.1.1 to 1.2.1.
- [Release notes](https://github.com/codecov/test-results-action/releases)
- [Commits](codecov/test-results-action@47f89e9...0fa95f0)

---
updated-dependencies:
- dependency-name: codecov/test-results-action
  dependency-version: 1.2.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 7.1.5 to 7.1.6.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@ed21f2f...681c641)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.1.6
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.14.9 → v0.14.10](astral-sh/ruff-pre-commit@v0.14.9...v0.14.10)

Bumps [EnricoMi/publish-unit-test-result-action](https://github.com/enricomi/publish-unit-test-result-action) from 2.21.0 to 2.22.0.
- [Release notes](https://github.com/enricomi/publish-unit-test-result-action/releases)
- [Commits](EnricoMi/publish-unit-test-result-action@34d7c95...27d65e1)

---
updated-dependencies:
- dependency-name: EnricoMi/publish-unit-test-result-action
  dependency-version: 2.22.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [rangemap](https://github.com/jeffparsons/rangemap) from 1.7.0 to 1.7.1.
- [Changelog](https://github.com/jeffparsons/rangemap/blob/main/CHANGELOG.md)
- [Commits](https://github.com/jeffparsons/rangemap/commits/v1.7.1)

---
updated-dependencies:
- dependency-name: rangemap
  dependency-version: 1.7.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

* Vexcall requires the state as the first parameter to handlers

* Add testcase that exercises vexccall

* Remove comments

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* AIL Call can be a statement even when the callee returns a value (e.g., `memset(...)` used for side effects).
In that case `ret_expr`/`fp_ret_expr` will be None and the return value is intentionally unused.
Also, some SimProcedures may provide extra return values. Only error when a required return is missing.

* Add testcase for unused return

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Move import to top-level

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* Rectify non-boolean expressions in ail bool exprs

* Add test for 1 instead of true

* linting

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* Fix varargs ingestion via ail

* Add test cases to ensure that multi and unused varargs are fine

* remove unnecessary comments

* remove unnecessary comments

* Raise error if fewer args passed in

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* it was good the way it was

* ignore arguments passed in after the size of args_vvars

* linter

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Align with other AIL objects and use tags to track this for now to unify
access.

Unrelated Block construction in DuplicationReverter appears to interfere
with pylint's type inference in this short-circuit type narrowing and
attribute access, throwing `no-member` false positives. Disable the
check for now.

Bumps [taiki-e/install-action](https://github.com/taiki-e/install-action) from 2.65.1 to 2.65.7.
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](taiki-e/install-action@b9c5db3...4c6723e)

---
updated-dependencies:
- dependency-name: taiki-e/install-action
  dependency-version: 2.65.7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Clinic: Add semantic variable naming.

* Add a test case for loop counter naming.

* Make semantic variable naming configurable.

* Lint code.

* Type check.

* Create RegionLoopCounterNaming. More test cases.

* Introduce loopctr_naming as a decompiler option.

* Lint and type check.

* Reimplement local variable order for functions.

* Clean up.

…as an alternative (#5966)