[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