1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  /* { dg-additional-options "-mfp16-format=ieee" { target "arm*-*-*" } } */
       4  
       5  extern void abort (void);
       6  
       7  __attribute__ ((noinline))
       8  void setfoo (__fp16 *f)
       9  {
      10    *f = 0.0;
      11  }
      12  
      13  int
      14  main (int argc, char **argv)
      15  {
      16    __fp16 a = 1.0;
      17    setfoo (&a);
      18    if (a != 0.0)
      19      abort ();
      20    return 0;
      21  }