)]}'
{
  "commit": "500d82452bdba0de71dae1056ccf366fa07147e9",
  "tree": "80301eb02cfd8797cf3d507415c6f90dcc053753",
  "parents": [
    "40691e7dd66bcf01fe476e6fd946225fd6f97540"
  ],
  "author": {
    "name": "Jakub Jelinek",
    "email": "jakub@redhat.com",
    "time": "Fri Aug 07 21:20:35 2026 +0200"
  },
  "committer": {
    "name": "Jakub Jelinek",
    "email": "jakub@gcc.gnu.org",
    "time": "Fri Aug 07 21:20:35 2026 +0200"
  },
  "message": "gimple-range-op: Use widen method even for sqrt reverse op [PR126534]\n\nFor glibc the target hook returns 0 for sqrt precision (i.e. 0.5ulp\nprecise), but we didn\u0027t apply the +-0.5ulp widening when doing\nreverse op and so still came up with a wrong range, even with 0.5ulp\nprecision certain values around 25.0 result in sqrt (x) being 5.0.\nEven if the hook returns non-zero, I\u0027d say more reasonable handling\nof it is that it is say worst case 1ulp (or 2ulps etc.) from the\ncorrect result (i.e. half ulp precise), rather than just 1ulp from\nmathematically exact result.\n\nSo, the following patch uses the newly added widen method to add\nthis 0.5ulp before we feed it into frange_arithmetic.\n\n2026-08-07  Jakub Jelinek  \u003cjakub@redhat.com\u003e\n\n\tPR tree-optimization/126534\n\t* gimple-range-op.cc (cfn_sqrt::op1_range): Widen lb or ub\n\tby further 0.5ulp or 1ulp before squaring it.\n\n\t* gcc.dg/pr126534.c: New test.\n\nReviewed-by: Aldy Hernandez \u003caldy@quesejoda.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "da8feda22567babd7c64943993c6169ecafc1edd",
      "old_mode": 33188,
      "old_path": "gcc/gimple-range-op.cc",
      "new_id": "9be143f85cd140b44951516de6a00b723343daa3",
      "new_mode": 33188,
      "new_path": "gcc/gimple-range-op.cc"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "4ffb49a8d6ad7264e667798987fa4768a8428779",
      "new_mode": 33188,
      "new_path": "gcc/testsuite/gcc.dg/pr126534.c"
    }
  ]
}