13 lines · c
1// RUN: %clang_analyze_cc1 -std=c23 -analyzer-checker=core,debug.ExprInspection -verify %s2 3void clang_analyzer_dump_ptr(const unsigned char *ptr);4void clang_analyzer_dump(unsigned char val);5 6int main() {7 const unsigned char SelfBytes[] = {8 #embed "embed.c"9 };10 clang_analyzer_dump_ptr(SelfBytes); // expected-warning {{&Element{SelfBytes,0 S64b,unsigned char}}}11 clang_analyzer_dump(SelfBytes[0]); // expected-warning {{47 U8b}}12}13