// SKIP PARAM: --enable exp.solver.td3.restart.wpoint.enabled --enable exp.solver.td3.abort

#include<stdlib.h>
struct a {
  int b;
} c(), *f;

int g;
void d();
void e();

int main() {
  void *h = calloc(1, sizeof(struct a));
  f = h;
  d(e);
  while (1) {
    g = c;
    if (c)
      break;
    f->b = 0;
  }
  d(h);
}
Add minimized test where abort fails.
Add minimized test where abort fails.
