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

Wed Jun 2 00:43:18 PDT 2021

vsavchenko added a comment.

In D103440#2792814 <https://reviews.llvm.org/D103440#2792814>, @NoQ wrote:

> Our pre-commit testing shows that the new tests fail, eg.:
>
> https://buildkite.com/llvm-project/premerge-checks/builds/41391#b557c86c-0587-4aee-a06b-8a4de6d771c4
>
>   Failed Tests (1):
>     Clang :: Analysis/constant-folding.c
>
> Did you figure out how to *run* the tests locally? Tests for the static analyzer are in the `check-clang-analysis` target.

They are actually supposed to fail, we first decide on the scope of what @manas will support and implement the actual feature later.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103440