gcc/testsuite/gnat.dg/uninit_func.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -Wall" }
   3
   4 function uninit_func (A, B : Boolean) return Boolean is
   5    C : Boolean;
   6 begin
   7    if A then
   8       C := False;
   9    elsif B then
  10       C := True;
  11    end if;
  12    return C; -- { dg-warning "may be used uninitialized" }
  13 end;