diff --git a/tests/syntax/initializer.i b/tests/syntax/initializer.i index 6b5d22fa1db67892997d1e508dab6dee349b418e..4513aca061ca9556c70c19d7043cb5fb1080d33b 100644 --- a/tests/syntax/initializer.i +++ b/tests/syntax/initializer.i @@ -31,6 +31,6 @@ struct signal tsig [3] = { 0.1, INVALID, 3, VALID }; void main() { static unsigned char STR [] = { "123456" }; - + char ch[3] = "hello"; // Emit a warning int i = STR[2]; } diff --git a/tests/syntax/oracle/initializer.res.oracle b/tests/syntax/oracle/initializer.res.oracle index a12390f2a726738a1df1991590023eef6f19d7ce..99dfe8760de278886a7e876391beb51305d0fd7d 100644 --- a/tests/syntax/oracle/initializer.res.oracle +++ b/tests/syntax/oracle/initializer.res.oracle @@ -2,6 +2,7 @@ [kernel:parser:decimal-float] initializer.i:29: Warning: Floating-point constant 0.1 is not represented exactly. Will use 0x1.999999999999ap-4. (warn-once: no further messages from category 'parser:decimal-float' will be emitted) +[kernel] initializer.i:34: Warning: Too many initializers for character array ch /* Generated by Frama-C */ enum bool { INVALID = 0, @@ -57,6 +58,7 @@ static unsigned char main_STR[7] = (unsigned char)'\000'}; void main(void) { + char ch[3] = {(char)'h', (char)'e', (char)'l'}; int i = (int)main_STR[2]; return; }