File tree Expand file tree Collapse file tree 2 files changed +7
-5
lines changed
include/clang/StaticAnalyzer/Checkers
test/Analysis/Checkers/CHERI Expand file tree Collapse file tree 2 files changed +7
-5
lines changed Original file line number Diff line number Diff 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
18311837let ParentPackage = CHERIAlpha in {
18321838
1833- def SubObjectRepresentabilityChecker : Checker<"SubObjectRepresentability">,
1834- HelpText<"TODO: help">,
1835- Documentation<NotDocumented>;
1836-
18371839} // end alpha.cheri
Original file line number Diff line number Diff line change 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
77struct R1 {
88 struct {
You can’t perform that action at this time.
0 commit comments