)]}'
{
  "commit": "f10a8706a1443dec834929dadcce837082df64b7",
  "tree": "a05984b5509e0955455fcb07cb96c9c1743b672c",
  "parents": [
    "d22d14375d4410cdb441e04016531962e3abb44e"
  ],
  "author": {
    "name": "Balazs Benics",
    "email": "benicsbalazs@gmail.com",
    "time": "Tue Mar 11 18:11:09 2025 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Tue Mar 11 18:11:09 2025 +0100"
  },
  "message": "[analyzer] Sink false [[assume]] execution paths (#130418)\n\nThis PR splits the existing modeling of builtin assume from the\nBuiltinFunctionChecker.\n\nWe just sink the execution path if we are about to leave the assume\nexpression with a false assumption.\nAssumptions with side-effects are skipped, and ignored. Their values are\n\"UnknownVal\" anyway.",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "21b585169cf405c8e1613662448a6becd1393632",
      "old_mode": 33188,
      "old_path": "clang/include/clang/StaticAnalyzer/Checkers/Checkers.td",
      "new_id": "7ee2ec1aaf09fbae2f9f986c614dc9d4b0974466",
      "new_mode": 33188,
      "new_path": "clang/include/clang/StaticAnalyzer/Checkers/Checkers.td"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1e3adb4f266caf1f1ef43599dccec01ac216d58a",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp"
    },
    {
      "type": "modify",
      "old_id": "cfdd3c9faa360a3977eca461038a3b838166f77b",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp",
      "new_id": "b1a11442dec5368844f34fa4362b728968284cf5",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp"
    },
    {
      "type": "modify",
      "old_id": "9aac200cd7370eb19acf4ab10f1917dc90719c26",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt",
      "new_id": "878b48197cd58fc4481f488dff625d6c5c79c675",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "c70aeb21ab04594910c9452948295aa05e28d31b",
      "old_mode": 33188,
      "old_path": "clang/test/Analysis/analyzer-enabled-checkers.c",
      "new_id": "e5d0acb84a039d4118360773b57d0ff4fa65e6c7",
      "new_mode": 33188,
      "new_path": "clang/test/Analysis/analyzer-enabled-checkers.c"
    },
    {
      "type": "modify",
      "old_id": "ee049af9f13aae3f92e714bcc4b887f576815e6f",
      "old_mode": 33188,
      "old_path": "clang/test/Analysis/cxx23-assume-attribute.cpp",
      "new_id": "86e7662cd2af940cd4257d23ed2602f2c3f0f9a5",
      "new_mode": 33188,
      "new_path": "clang/test/Analysis/cxx23-assume-attribute.cpp"
    },
    {
      "type": "modify",
      "old_id": "faf0a8f19d919e513fcbf9de908d3f3d5d36bc30",
      "old_mode": 33188,
      "old_path": "clang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c",
      "new_id": "d2900c6a42fff2fcd740e6a9c51f63160559eeed",
      "new_mode": 33188,
      "new_path": "clang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c"
    }
  ]
}