e034c4ef7b
This change modernizes, improves and promotes the chroot checker from alpha to the Unix family of checkers. This checker covers the POS05 recommendations for use of chroot. The improvements included modeling of a success or failure from chroot and not falsely reporting a warning along an error path. This was made possible through modernizing the checker to be flow sensitive. --------- Co-authored-by: einvbri <vince.a.bridgers@ericsson.com> Co-authored-by: Balazs Benics <benicsbalazs@gmail.com>
52 lines
1.8 KiB
C
52 lines
1.8 KiB
C
// RUN: %clang_cc1 -analyzer-checker-help \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help-alpha \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-ALPHA
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help-developer \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help-developer \
|
|
// RUN: -analyzer-checker-help-alpha \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER-ALPHA
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help \
|
|
// RUN: -analyzer-checker-help-alpha \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help \
|
|
// RUN: -analyzer-checker-help-developer \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-DEVELOPER
|
|
|
|
// RUN: %clang_cc1 -analyzer-checker-help \
|
|
// RUN: -analyzer-checker-help-alpha \
|
|
// RUN: -analyzer-checker-help-developer \
|
|
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA-DEVELOPER
|
|
|
|
// Note that alpha.cplusplus.IteratorModeling is not only an alpha, but also a
|
|
// hidden checker. In this case, we'd only like to see it in the developer list.
|
|
// CHECK-ALPHA-NOT: alpha.cplusplus.IteratorModeling
|
|
// CHECK-DEVELOPER: alpha.cplusplus.IteratorModeling
|
|
|
|
// CHECK-STABLE: core.DivideZero
|
|
// CHECK-DEVELOPER-NOT: core.DivideZero
|
|
// CHECK-ALPHA-NOT: core.DivideZero
|
|
|
|
// CHECK-STABLE-NOT: debug.ConfigDumper
|
|
// CHECK-DEVELOPER: debug.ConfigDumper
|
|
// CHECK-ALPHA-NOT: debug.ConfigDumper
|
|
|
|
|
|
// CHECK-STABLE-ALPHA: core.DivideZero
|
|
// CHECK-DEVELOPER-ALPHA-NOT: core.DivideZero
|
|
// CHECK-STABLE-DEVELOPER: core.DivideZero
|
|
|
|
// CHECK-STABLE-ALPHA-NOT: debug.ConfigDumper
|
|
// CHECK-DEVELOPER-ALPHA: debug.ConfigDumper
|
|
// CHECK-STABLE-DEVELOPER: debug.ConfigDumper
|
|
|
|
|
|
// CHECK-STABLE-ALPHA-DEVELOPER: core.DivideZero
|
|
// CHECK-STABLE-ALPHA-DEVELOPER: debug.ConfigDumper
|