[PATCH] D103440: [WIP][analyzer] Introduce range-based reasoning for addition operator

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added inline comments.


================
Comment at: clang/utils/analyzer/Dockerfile:15-22
 RUN apt-get update && apt-get install -y \
     git=1:2.17.1* \
     gettext=0.19.8.1* \
     python3=3.6.7-1~18.04 \
     python3-pip=9.0.1-2.3* \
-    cmake=3.20.5* \
-    ninja-build=1.8.2-1
+    cmake=3.21.1* \
+    ninja-build=1.8.2-1 \
----------------
Changes to `clang/utils/analyzer/*` don't belong to this patch


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103440/new/

https://reviews.llvm.org/D103440