llvm-project/llvm/test/Regression/CFrontend/2003-06-23-GCC-fold-infinite-recursion.c

double Test(double A, double B, double C, double D) {
  return -(A-B) - (C-D);
}