1  /* { dg-options "-O2 -fdevirtualize" } */
       2  extern void fn1(void);
       3  extern void fn4 (void); 
       4  
       5  int a; 
       6  
       7  void fn3(void) 
       8  {
       9    for (; a;)
      10      fn4();
      11  }
      12  
      13  int main() {
      14    fn1();
      15    return 0;
      16  }
      17