================ @@ -1,4 +1,9 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s -Wno-undefined-bool-conversion +// RUN: %clang_analyze_cc1 \ +// RUN: -analyzer-checker=core,debug.ExprInspection,unix.Malloc \ +// RUN: -verify %s \ +// RUN: -Wno-undefined-bool-conversion +// unix.Malloc is necessary to model __builtin_alloca, +// which could trigger an "unexpected region" bug in StackAddrEscapeChecker. ---------------- steakhal wrote:
Either make the `unix.Malloc` as a strong dependency of the `StackAddrEscapeChecker` (to get it enabled if it's enabled), or demonstrate that the `StackAddrEscapeChecker` would behave correctly (and not crash) if `unix.Malloc` is not enabled. https://github.com/llvm/llvm-project/pull/109655 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
