[all-commits] [llvm/llvm-project] 9c4d19: [analyzer]Skip unstable CSA tests failing on sever...

[Steven Wan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c4d194f44c4f74826b98f2efaa5e8a356650491
      https://github.com/llvm/llvm-project/commit/9c4d194f44c4f74826b98f2efaa5e8a356650491
  Author: Steven Wan <wanyu9511 at gmail.com>
  Date:   2021-12-02 (Thu, 02 Dec 2021)

  Changed paths:
    M clang/unittests/StaticAnalyzer/CMakeLists.txt
    M clang/unittests/StaticAnalyzer/SValTest.cpp

  Log Message:
  -----------
  [analyzer]Skip unstable CSA tests failing on several platforms

Clang static analyzer uses bitwidth to infer the integer value type, that is, any 32-bit integer is considered of type `int`, and any 64-bit integer is considered of type `long`. This isn't always true, for instance, in ILP32 (e.g., 32-bit AIX), 32-bit could be `long`, and in LP64 (e.g., 64-bit wasm64), 64-bit could be `long long`.

Reviewed By: steakhal

Differential Revision: https://reviews.llvm.org/D114454