// PR tree-optimization/42625
// { dg-do run }
// { dg-options "-O1 -fipa-sra" }
// { dg-additional-sources "dtor4-aux.cc" }

#include "dtor4.h"

int
main ()
{
  S s;
  return 0;
}