1 // RUN: %clang_analyze_cc1 -std=c23 -analyzer-checker=core,debug.ExprInspection -verify %s
3 void clang_analyzer_dump_ptr(const unsigned char *ptr
);
4 void clang_analyzer_dump(unsigned char val
);
7 const unsigned char SelfBytes
[] = {
10 clang_analyzer_dump_ptr(SelfBytes
); // expected-warning {{&Element{SelfBytes,0 S64b,unsigned char}}}
11 clang_analyzer_dump(SelfBytes
[0]); // expected-warning {{Unknown}} FIXME: This should be the `/` character.