)]}'
{
  "commit": "73188068d7ba40c8a37b4763db38bb1ce24ca07d",
  "tree": "35e0fa8ae2dceec60567b763f6cdf3c6ccc0b2e1",
  "parents": [
    "525650cd71104c046e4260b5acaeb275f520d5c0"
  ],
  "author": {
    "name": "Peter Maydell",
    "email": "peter.maydell@linaro.org",
    "time": "Tue Jul 23 18:05:13 2024 +0100"
  },
  "committer": {
    "name": "Peter Maydell",
    "email": "peter.maydell@linaro.org",
    "time": "Mon Jul 29 17:03:35 2024 +0100"
  },
  "message": "system/physmem: Where we assume we have a RAM MR, assert it\n\nIn the functions invalidate_and_set_dirty() and\ncpu_physical_memory_snapshot_and_clear_dirty(), we assume that we\nare dealing with RAM memory regions. In this case we know that\nmemory_region_get_ram_addr() will succeed. Assert this before we\nuse the returned ram_addr_t in arithmetic.\n\nThis makes Coverity happier about these functions: it otherwise\ncomplains that we might have an arithmetic overflow that stems\nfrom the possible -1 return from memory_region_get_ram_addr().\n\nResolves: Coverity CID 1547629, 1547715\n\nSigned-off-by: Peter Maydell \u003cpeter.maydell@linaro.org\u003e\nReviewed-by: Peter Xu \u003cpeterx@redhat.com\u003e\nReviewed-by: David Hildenbrand \u003cdavid@redhat.com\u003e\nMessage-id: 20240723170513.1676453-1-peter.maydell@linaro.org\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0e19186e1b49683db0e68b874fc827f5b20722bd",
      "old_mode": 33188,
      "old_path": "system/physmem.c",
      "new_id": "94600a33ec3d418a1fda21cf1e83ed3ed5756bd8",
      "new_mode": 33188,
      "new_path": "system/physmem.c"
    }
  ]
}