C++: Switch to the shared Guards library#20485

Merged

jketema merged 37 commits intogithub:mainfrom

MathiasVP:use-shared-guards-library

Oct 2, 2025

Commits on Sep 18, 2025

Commits on Sep 24, 2025

C++: Add QLDoc to TRange.
MathiasVP
committed
C++: Remove superfluous inference logic.
MathiasVP
committed
C++: Add a comment to the 'ConditionalBranchInstruction' case in 'additionalImpliesStep.
MathiasVP
committed
C++: Rename in the name of consistency.
MathiasVP
committed
C++: Add testcase demonstrating that a ConstantValue IPA branch representing a gcc case range is a bad idea.
MathiasVP
committed
C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.
MathiasVP
committed
C++: Add more tests.
MathiasVP
committed
C++: Add failing test demonstrating broken wrapper barrier guards.
MathiasVP
committed
C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.
MathiasVP
committed

Commits on Sep 30, 2025

Commits on Oct 1, 2025