Aaron Ballman f5dc3021cd
[C] Fix failing assertion with designated inits (#154120)
Incompatible pointer to integer conversion diagnostic checks would
trigger an assertion when the designated initializer is for an array of
unknown bounds.

Fixes #154046
2025-08-18 14:22:31 +00:00

46 lines
1.4 KiB
Objective-C

// RUN: %clang_cc1 %s -fsyntax-only -fblocks -verify -Wno-unreachable-code
Class test1(Class X) {
return 1 ? X : X;
}
void test2(void) {
id str = @"foo"
"bar\0" // no-warning
@"baz" " blarg";
id str2 = @"foo"
"bar"
@"baz"
" b\0larg"; // no-warning
if (@encode(int) == "foo") { } // expected-warning {{result of comparison against @encode is unspecified}}
}
#define MAX(A,B) ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __b : __a; })
void (^foo)(int, int) = ^(int x, int y) { int z = MAX(x, y); };
@class Object;
static Object *g;
void test3(Object *o) {
// this is ok.
__sync_bool_compare_and_swap(&g, 0, o);
}
@class Incomplete_ObjC_class; // expected-note{{forward declaration of class here}}
struct Incomplete_struct; // expected-note {{forward declaration}}
void test_encode(void) {
(void)@encode(Incomplete_ObjC_class); // expected-error {{incomplete type}}
(void)@encode(struct Incomplete_struct); // expected-error {{incomplete type}}
(void)@encode(Incomplete_ObjC_class*);
(void)@encode(id);
}
void gh154046(void) {
(void)(const char[]) {
[0] = @encode(int), // expected-error {{incompatible pointer to integer conversion initializing 'const char' with an expression of type 'char[2]'}}
[1] = @encode(float) // expected-error {{incompatible pointer to integer conversion initializing 'const char' with an expression of type 'char[2]'}}
}[1];
}