Pietro Fezzardi 4e4f194b4a SwitchToStatements: fix noAlias when writeOnly ...

This commit fixes a bug in the `noAlias` function, that failed to detect
two aliasing accesses when the second was writeOnly (so it did not read
memory).

That causes the transfer function of the Available Expression analysis
in SwitchToStatements to wrongly see some expressions as available,
because of the undetected aliasing write that would otherwise overwrite
the available expression.

2025-10-17 15:00:36 +02:00

..

ABI

ABI: make TTG verification more strict

2025-10-13 18:33:10 +03:00

Backend

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

BasicAnalyses

BasicAnalyses: adopt helper registry

2025-04-17 11:19:17 +03:00

Canonicalize

SwitchToStatements: fix noAlias when writeOnly

2025-10-17 15:00:36 +02:00

Clift

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00

CliftEmitC

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00

Clifter

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

CliftImportModel

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00

CliftPipes

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

CliftTransforms

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00

DataLayoutAnalysis

DLA: fix erased ptr in MergePointeesOfPointerUnion

2025-06-11 16:37:19 +02:00

EarlyFunctionAnalysis

EFA and Yield: mark BasicBlockID as a string

2025-10-13 18:33:10 +03:00

FunctionCallIdentification

IRHelperRegister: get a comment from Description

2025-07-23 11:38:53 +02:00

FunctionIsolation

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

GraphLayout

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

HeadersGeneration

ModelCBuilder: rework handling of padding fields

2025-09-04 16:57:16 +03:00

ImportFromC

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

InitModelTypes

Adopt ModuleSlotTracker-aware dumpToString

2025-09-10 17:44:02 +02:00

Lift

Ensure consumed errors are printed somewhere

2025-10-13 10:26:41 +03:00

LLMRename

Minor improvements

2025-10-08 12:22:30 +03:00

LocalVariables

Improve debug info propagation in legacy pipeline

2025-09-10 17:44:02 +02:00

Model

Add Binaries list to the model

2025-10-16 17:48:45 +02:00

Pipebox

Introduce ImportFiles pipe

2025-10-16 17:48:45 +02:00

PipeboxCommon

Pipebox: remove const from ArrayRef

2025-10-16 16:07:09 +02:00

Pipeline

Avoid using !! unless necessary

2025-10-13 10:26:41 +03:00

PipelineC

Add comments clarifying error-related behavior

2025-10-13 10:26:41 +03:00

Pipes

Avoid using !! unless necessary

2025-10-13 10:26:41 +03:00

PromoteStackPointer

IRHelperRegister: get a comment from Description

2025-07-23 11:38:53 +02:00

PTML

Drop unused includes

2025-10-08 12:22:34 +03:00

Recompile

Don't ignore TargetRegistry::lookupTarget output

2025-10-13 10:26:41 +03:00

RemoveExtractValues

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RemoveLiftingArtifacts

Use revng_undefined_ instead of init_

2025-04-17 11:19:17 +03:00

RestructureCFG

Minor improvements

2025-10-08 12:22:30 +03:00

Storage

Drop unused includes

2025-10-08 12:22:34 +03:00

Support

Introduce Tar.h

2025-10-16 16:08:05 +02:00

TypeNames

Model: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

TypeShrinking

Add missing llvm::Error checks

2025-10-13 10:26:37 +03:00

UnitTestHelpers

Add some missing includes

2024-05-03 21:52:40 +02:00

ValueMaterializer

AVI: sort entry points by dominance

2025-10-02 14:32:17 +02:00

Yield

Yield: drop obsolete default value handling

2025-10-13 18:33:10 +03:00

CMakeLists.txt

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00