Skip to content

Commit 48b94cd

Browse files
eupharinaresistor
authored andcommitted
[CHERI_CSA] SubObjectRepresentability: move alpha.cheri -> cheri
1 parent 9f9418b commit 48b94cd

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed

clang/include/clang/StaticAnalyzer/Checkers/Checkers.td

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1826,12 +1826,14 @@ let ParentPackage = CHERI in {
18261826
HelpText<"Detect hardcoded expectations on pointer sizes">,
18271827
Documentation<NotDocumented>;
18281828

1829+
def SubObjectRepresentabilityChecker
1830+
: Checker<"SubObjectRepresentability">,
1831+
HelpText<
1832+
"Check for record fields with unrepresentable subobject bounds">,
1833+
Documentation<NotDocumented>;
1834+
18291835
} // end cheri
18301836

18311837
let ParentPackage = CHERIAlpha in {
18321838

1833-
def SubObjectRepresentabilityChecker : Checker<"SubObjectRepresentability">,
1834-
HelpText<"TODO: help">,
1835-
Documentation<NotDocumented>;
1836-
18371839
} // end alpha.cheri

clang/test/Analysis/Checkers/CHERI/subobject-representability-morello.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
// XFAIL: *
44
// RUN: %clang_cc1 -triple aarch64-none-elf -target-feature +morello -target-feature +c64 -target-abi purecap \
5-
// RUN: -analyze -analyzer-checker=core,alpha.cheri.SubObjectRepresentability -verify %s
5+
// RUN: -analyze -analyzer-checker=core,cheri.SubObjectRepresentability -verify %s
66

77
struct R1 {
88
struct {

0 commit comments

Comments
 (0)