)]}'
{
  "commit": "68494dc23d105f0e909b0555c3b695f1b4262352",
  "tree": "750e02123f6377291236a7e7edec899b6762513e",
  "parents": [
    "16217cd410072eef0cf818fa7f77570bd414328f"
  ],
  "author": {
    "name": "Michael Kruse",
    "email": "llvm-project@meinersbur.de",
    "time": "Sat Apr 04 13:42:04 2026 +0200"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Sat Apr 04 04:45:34 2026 -0700"
  },
  "message": "[Polly] Assumptions used to derive domain must not be pruned by that domain (#190436)\n\nThe code that emits the conditions for whether a statement is executed\nby checking whether we are in the statement\u0027s domain may apply\nassumptions (such as an integer truncation being reversible). Later code\nthen assumes that these assumptions are only relevent for then the\nstatement is executed, but actually it is used for determining whether\nit is executed.\n\nBreak this circular reasoning by introducing an `IsInsideDomain` flag\nthat can be set when the domain has not been verified yet.\n\nFixes #190128\n\nThanks to @thapgua for the bug report\n\nGitOrigin-RevId: 948a64720b1ec018e13b4bb8250482f9615d7856\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e589a7f0b05d67cb0996ca85c689c7bf7ebe254f",
      "old_mode": 33188,
      "old_path": "include/polly/ScopBuilder.h",
      "new_id": "dc29dcb944b7fd4d7e80c25e8816e9f865d4e6dd",
      "new_mode": 33188,
      "new_path": "include/polly/ScopBuilder.h"
    },
    {
      "type": "modify",
      "old_id": "4cfbffc134a3a06d069dbe773c551582f6ba675d",
      "old_mode": 33188,
      "old_path": "include/polly/ScopInfo.h",
      "new_id": "8532229b0dd7128cabd5d1fc264e809e449b02a2",
      "new_mode": 33188,
      "new_path": "include/polly/ScopInfo.h"
    },
    {
      "type": "modify",
      "old_id": "5fa78cc2431e73663cf349fa9d6bf597691a6f66",
      "old_mode": 33188,
      "old_path": "include/polly/Support/SCEVAffinator.h",
      "new_id": "8fe1ed44e16d9dacbb5087ca319a16f4e3fcd746",
      "new_mode": 33188,
      "new_path": "include/polly/Support/SCEVAffinator.h"
    },
    {
      "type": "modify",
      "old_id": "ce96211d08a4136ff0285245d3d2aeeaf89b89ef",
      "old_mode": 33188,
      "old_path": "lib/Analysis/ScopBuilder.cpp",
      "new_id": "fe296c0450697a2d028d1a1df74f2e54c622e2e9",
      "new_mode": 33188,
      "new_path": "lib/Analysis/ScopBuilder.cpp"
    },
    {
      "type": "modify",
      "old_id": "d3aaa7840ae804532b91a6e048d29c9191dc56a0",
      "old_mode": 33188,
      "old_path": "lib/Analysis/ScopInfo.cpp",
      "new_id": "cff7606411e5e94e8c60dd54516bcc67606ece46",
      "new_mode": 33188,
      "new_path": "lib/Analysis/ScopInfo.cpp"
    },
    {
      "type": "modify",
      "old_id": "b55fa62f0e187c146aceeb031720fbebb72fb69d",
      "old_mode": 33188,
      "old_path": "lib/Support/SCEVAffinator.cpp",
      "new_id": "f8151d97591ffaa57ddb79c932ff036c834a6e01",
      "new_mode": 33188,
      "new_path": "lib/Support/SCEVAffinator.cpp"
    },
    {
      "type": "modify",
      "old_id": "a9333e23d2839eeff93ec5bb2276b4fa3cfd4b1b",
      "old_mode": 33188,
      "old_path": "lib/Support/ScopHelper.cpp",
      "new_id": "6408ec6bbde404be8984eb931ef9e30580cf728a",
      "new_mode": 33188,
      "new_path": "lib/Support/ScopHelper.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a56fcfc926256e5df650de16fd563ddd9fa22a02",
      "new_mode": 33188,
      "new_path": "test/ScopInfo/issue190128.ll"
    },
    {
      "type": "modify",
      "old_id": "b509951bbf0d5bd24d89325c0fbd9134543e6d1f",
      "old_mode": 33188,
      "old_path": "test/ScopInfo/zero_ext_of_truncate.ll",
      "new_id": "e152f141d5617fc068187b99e3716e3af706ef64",
      "new_mode": 33188,
      "new_path": "test/ScopInfo/zero_ext_of_truncate.ll"
    },
    {
      "type": "modify",
      "old_id": "ea3356e01cc9f6fcc06d5a82ed840e73274d37ad",
      "old_mode": 33188,
      "old_path": "test/ScopInfo/zero_ext_of_truncate_2.ll",
      "new_id": "ee68054b06096c2d18a50ddf0ae16d9950d79bd4",
      "new_mode": 33188,
      "new_path": "test/ScopInfo/zero_ext_of_truncate_2.ll"
    }
  ]
}