In FixInsight 2020.06, the following code:
unit TestFIUnit1;
interface
function TFI(condition : boolean) : string;
implementation
function TFI(condition : boolean) : string;
begin
if condition then begin
Result := 'Hello';
Result := 'World';
end else begin
Result := 'Hello';
Result := 'World';
end;
end;
end.
gave warnings W507 and W508:
[FixInsight Warning] TestFIUnit1.pas(11): W507 THEN statement is equal to ELSE statement
[FixInsight Warning] TestFIUnit1.pas(13): W508 Variable is assigned twice successively
[FixInsight Warning] TestFIUnit1.pas(16): W508 Variable is assigned twice successively
But in FixInsight 2020.10, these warnings have disappeared.