)]}'
{
  "commit": "6adbf9cfd3aebd22cec7f025db72c88074eaff77",
  "tree": "94399e4ff896781829976d5413c77304f6ea0e16",
  "parents": [
    "563c93c033b9f3e7e6c7119a278bb520b4fa7776"
  ],
  "author": {
    "name": "Sam McCall",
    "email": "sammccall@google.com",
    "time": "Fri Nov 17 01:30:20 2023 -0800"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Fri Nov 17 01:31:48 2023 -0800"
  },
  "message": "Document the invariant around PointerValue modelling\n\nWe have recently introduced crashes by violating this invarinat.\nThis is unfortunately easy and maybe we should address that, but documenting\nthe requirement seems like a good start.\n\nPiperOrigin-RevId: 583304560\nChange-Id: Ib7467d9532ab5f6e41e66faad74001b899668ab9\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "832e438315c8ca0ac7aba82e6837be6c0c27c1c2",
      "old_mode": 33188,
      "old_path": "bazel/llvm.bzl",
      "new_id": "d960fc7cc35bc41031bfb290d92ffdeaca74d6ad",
      "new_mode": 33188,
      "new_path": "bazel/llvm.bzl"
    },
    {
      "type": "modify",
      "old_id": "0afdf13eb2582b20f25ec68914bffe4ad3e38903",
      "old_mode": 33188,
      "old_path": "nullability/pointer_nullability_analysis.cc",
      "new_id": "5b851b9f5b73bab6abd60a73970c53f1a7d4b978",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_analysis.cc"
    }
  ]
}