RE: gnat.dg test: div_no_warning.adb

2014-06-06 Thread BELBACHIR Selim
Hi, I've noticed that Constraint_error warning produced by gcc/testsuite/gnat.dg/div_no_warning.adb disappears if the target runtime contains : "Configurable_Run_Time : constant Boolean := False;" * x86 native gnat contains Configurable_Run_Time := False ==> no warning * Cross gnat port w

gnat.dg test: div_no_warning.adb

2014-02-12 Thread PARAT Didier
Hi, I'm trying to use the tests in "gcc/testsuite/gnat.dg" and I'm having trouble understanding one particular test: "gnat.dg/div_no_warning.adb". If I understand correctly, this test is expected to compile without any error or warning. When I compile this test with a native compiler gnatmake,