aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb')
-rw-r--r--gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb13
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb b/gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb
new file mode 100644
index 000000000..ff5427ad7
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/uninit_func.adb
@@ -0,0 +1,13 @@
+-- { dg-do compile }
+-- { dg-options "-O -Wall" }
+
+function uninit_func (A, B : Boolean) return Boolean is
+ C : Boolean;
+begin
+ if A then
+ C := False;
+ elsif B then
+ C := True;
+ end if;
+ return C; -- { dg-warning "may be used uninitialized" }
+end;