NoQ added a comment. Looks great!
Maybe `clang_analyzer_range()` instead? Please add documentation to https://clang.llvm.org/docs/analyzer/developer-docs/DebugChecks.html ================ 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 + ---------------- I suspect this test will crash when clang is built with Z3, because the Z3 constraint manager doesn't implement your new function yet. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D129498/new/ https://reviews.llvm.org/D129498 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits