Re: Precondition on protected entry

[Stephen Leake <stephen_leake@stephe-leake.org>]

On Tuesday, October 11, 2016 at 3:29:47 PM UTC-5, Simon Wright wrote:
> I have this (Ravenscar, STM32F4) code:
> 

I modified it slightly to compile with Windows GNAT GPL 2016:

with Ada.Interrupts.Names;
with System;
package Timer_Handler is
   protected Timer_Handler
   with Interrupt_Priority => System.Interrupt_Priority'Last
   is
      entry Wait
      with Pre => Running;
      procedure Start_Waiting (For_Interval : Duration)
      with Pre => For_Interval <= 0.010_000 and not Running;
      function Running return Boolean;
   private
      procedure Handler
      with
        Attach_Handler => Ada.Interrupts.Names.SIGFPE;
      Triggered : Boolean := False;
      Is_Running : Boolean := False;
   end Timer_Handler;
end Timer_Handler;

package body Timer_Handler is

   protected body Timer_Handler is

      entry Wait
        when Standard.True
      is
      begin
         null;
      end Wait;

      procedure Start_Waiting
        (For_Interval : Duration)
      is
      begin
         null;
      end Start_Waiting;

      function Running return Boolean is
      begin
         return Is_Running;
      end Running;

      procedure Handler
      is
      begin
         null;
      end Handler;

   end Timer_Handler;

end Timer_Handler;
 
gnatmake timer_handler.adb

no errors.

So this looks like a problem with the cross target only?