[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

Mandeep Singh Grang via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 15 15:58:33 PST 2019


mgrang added a comment.

I hacked around the run_experiments.py to set CMAKE_C_FLAGS and now I see the following error in stats.html. Note: I see the same error with an existing checker like PointerArithmChecker. And I do not hit this assert when I run the checker outside of csa-testbench.

  Assertion `CheckerTags.count(tag) != 0 && "Requested checker is not registered! Maybe you should add it as a " "dependency in Checkers.td?"'

Here's my config file:

  {
    "projects": [
      {
        "name": "TinyXML2",
        "url": "https://github.com/leethomason/tinyxml2.git",
        "clang_sa_args": "-target x86_64-linux-gnu -L /usr/lib/x86_64-linux-gnu -B /usr/lib/x86_64-linux-gnu -B /usr/lib/gcc/x86_64-linux-gnu/5 -L /usr/lib/gcc/x86_64-linux-gnu/5 --analyze -Xanalyzer -analyzer-checker=core -Xanalyzer -analyzer-checker=alpha.core.PointerArithm -Xclang -analyzer-stats",
        "clang_path": "path/install/bin",
        "binary_dir": "build"
      }
    ],
  
    "CodeChecker": {
      "url": "http://localhost:8001/Default",
      "analyze_args": "",
      "store_args": ""
    }
  }


Repository:
  rC Clang

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

https://reviews.llvm.org/D50488





More information about the cfe-commits mailing list