[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