Support `if` expressions

[cirras]

Prerequisites

• This improvement has not already been suggested.
• This improvement would be generally useful, not specific to my code or setup.

Engine area

Delphi language support

Improvement description

Delphi 13 has introduced a new if conditional operator.

We'll need to:

• parse the new syntax
• handle type resolution by determining the Least Upper Bound (LUB) type from the 2 result expressions
• API: introduce IfExpressionNode node type

Example

Result := if Foo then Bar else Baz;

See

• Conditional Operators (Delphi)

Rationale

Delphi 13 support.

[Daniel-Tr]

@cirras We tested the latest nightly build with a Delphi 13.1 application. The scan is blocked due to an inline if in System.IOUtils.pas.

You stated earlier (in another thread), that you would like to prioritise things that are actively breaking scans. Is there any chance you could review and amend the changes recently proposed in a PR to this issue?

[cirras]

@cirras We tested the latest nightly build with a Delphi 13.1 application. The scan is blocked due to an inline if in System.IOUtils.pas.

You stated earlier (in another thread), that you would like to prioritise things that are actively breaking scans. Is there any chance you could review and amend the changes recently proposed in a PR to this issue?

Hi @Daniel-Tr,

Thanks for letting me know that this is one of the blockers breaking scans. I didn't realize that the standard library was already using these if expressions, but that does increase the priority of this issue for me. I'll look at doing this one next.

[Daniel-Tr]

Hi @cirras! Do you have any update or insights on this?

[darianmiller]

@cirras +1 for Delphi 13 support