[PATCH] D129498: [analyzer] Add new function `clang_analyzer_value` to ExprInspectionChecker
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 18 07:13:11 PDT 2022
martong added inline comments.
================
Comment at: clang/test/Analysis/print-ranges.cpp:1
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config eagerly-assume=false -verify %s
+// REQUIRES: no-z3
----------------
ASDenysPetrov wrote:
> martong wrote:
> > Don't forget to pin the target/triple.
> Why does this specific test need it?
I thought, the bit widths down below might change with different architectures and some build bots might break because of that.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D129498/new/
https://reviews.llvm.org/D129498
More information about the cfe-commits
mailing list