Skip to content

Commit 1aad0f4

Browse files
eupharinaresistor
authored andcommitted
[CHERI_CSA] SubObjectRepresentability: move alpha.cheri -> cheri
1 parent 46c91d7 commit 1aad0f4

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1829,12 +1829,12 @@ def PointerSizeAssumptionsChecker : Checker<"PointerSizeAssumptions">,
18291829
HelpText<"Detect hardcoded expectations on pointer sizes">,
18301830
Documentation<NotDocumented>;
18311831

1832+
def SubObjectRepresentabilityChecker : Checker<"SubObjectRepresentability">,
1833+
HelpText<"Check for record fields with unrepresentable subobject bounds">,
1834+
Documentation<NotDocumented>;
1835+
18321836
} // end cheri
18331837

18341838
let ParentPackage = CHERIAlpha in {
18351839

1836-
def SubObjectRepresentabilityChecker : Checker<"SubObjectRepresentability">,
1837-
HelpText<"TODO: help">,
1838-
Documentation<NotDocumented>;
1839-
18401840
} // 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)