Changeset 950f7a7 for src/tests

Timestamp:

Aug 16, 2016, 3:19:58 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

7527e63

Parents:

7a2c5391

Message:

Refactored declarations tests to be a little more complete

Location:

src/tests

Files:

• .expect/declarationSpecifier.txt (modified) (1 diff)
• Makefile.am (modified) (1 diff)
• Makefile.in (modified) (1 diff)
• declarationErrors.c (modified) (2 diffs)
• declarationSpecifier.c (modified) (5 diffs)

src/tests/.expect/declarationSpecifier.txt

@@ -1 @@
-CFA Version 1.0.0 (debug)
-Error: invalid combination of storage classes in declaration of x9: static static volatile const short int 
-
-Error: invalid combination of storage classes in declaration of x18: static static const volatile instance of struct __anonymous8
-  with members 
-    i: int 
-   with body 
-
-
-Error: invalid combination of storage classes in declaration of x19: static static const volatile volatile instance of struct __anonymous9
-  with members 
-    i: int 
-   with body 
-
-
-Error: invalid combination of storage classes in declaration of x28: static static volatile const instance of type Int
-
-make: *** [declarationSpecifier] Error 1
+extern void *malloc(unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+volatile const short __x1__CVs_1;
+static volatile const short __x2__CVs_1;
+static volatile const short __x3__CVs_1;
+static volatile const short __x4__CVs_1;
+static volatile const short __x5__CVs_1;
+static volatile const short __x6__CVs_1;
+static volatile const short __x7__CVs_1;
+static volatile const short __x8__CVs_1;
+struct __anonymous0 {
+    int __i__i_1;
+};
+static inline struct __anonymous0 ___operator_assign__F13s__anonymous0_P13s__anonymous013s__anonymous0_autogen___1(struct __anonymous0 *___dst__P13s__anonymous0_1, struct __anonymous0 ___src__13s__anonymous0_1){
+    ((void)((*___dst__P13s__anonymous0_1).__i__i_1=___src__13s__anonymous0_1.__i__i_1));
+    return ((struct __anonymous0 )___src__13s__anonymous0_1);
+}
+static inline void ___constructor__F_P13s__anonymous0_autogen___1(struct __anonymous0 *___dst__P13s__anonymous0_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous0_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous013s__anonymous0_autogen___1(struct __anonymous0 *___dst__P13s__anonymous0_1, struct __anonymous0 ___src__13s__anonymous0_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous0_1).__i__i_1)))=___src__13s__anonymous0_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous0_autogen___1(struct __anonymous0 *___dst__P13s__anonymous0_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous0_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous0i_autogen___1(struct __anonymous0 *___dst__P13s__anonymous0_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous0_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+volatile const struct __anonymous0 __x10__CV13s__anonymous0_1;
+struct __anonymous1 {
+    int __i__i_1;
+};
+static inline struct __anonymous1 ___operator_assign__F13s__anonymous1_P13s__anonymous113s__anonymous1_autogen___1(struct __anonymous1 *___dst__P13s__anonymous1_1, struct __anonymous1 ___src__13s__anonymous1_1){
+    ((void)((*___dst__P13s__anonymous1_1).__i__i_1=___src__13s__anonymous1_1.__i__i_1));
+    return ((struct __anonymous1 )___src__13s__anonymous1_1);
+}
+static inline void ___constructor__F_P13s__anonymous1_autogen___1(struct __anonymous1 *___dst__P13s__anonymous1_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous1_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous113s__anonymous1_autogen___1(struct __anonymous1 *___dst__P13s__anonymous1_1, struct __anonymous1 ___src__13s__anonymous1_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous1_1).__i__i_1)))=___src__13s__anonymous1_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous1_autogen___1(struct __anonymous1 *___dst__P13s__anonymous1_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous1_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous1i_autogen___1(struct __anonymous1 *___dst__P13s__anonymous1_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous1_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+volatile const struct __anonymous1 __x11__CV13s__anonymous1_1;
+struct __anonymous2 {
+    int __i__i_1;
+};
+static inline struct __anonymous2 ___operator_assign__F13s__anonymous2_P13s__anonymous213s__anonymous2_autogen___1(struct __anonymous2 *___dst__P13s__anonymous2_1, struct __anonymous2 ___src__13s__anonymous2_1){
+    ((void)((*___dst__P13s__anonymous2_1).__i__i_1=___src__13s__anonymous2_1.__i__i_1));
+    return ((struct __anonymous2 )___src__13s__anonymous2_1);
+}
+static inline void ___constructor__F_P13s__anonymous2_autogen___1(struct __anonymous2 *___dst__P13s__anonymous2_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous2_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous213s__anonymous2_autogen___1(struct __anonymous2 *___dst__P13s__anonymous2_1, struct __anonymous2 ___src__13s__anonymous2_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous2_1).__i__i_1)))=___src__13s__anonymous2_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous2_autogen___1(struct __anonymous2 *___dst__P13s__anonymous2_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous2_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous2i_autogen___1(struct __anonymous2 *___dst__P13s__anonymous2_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous2_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+volatile const struct __anonymous2 __x12__CV13s__anonymous2_1;
+struct __anonymous3 {
+    int __i__i_1;
+};
+static inline struct __anonymous3 ___operator_assign__F13s__anonymous3_P13s__anonymous313s__anonymous3_autogen___1(struct __anonymous3 *___dst__P13s__anonymous3_1, struct __anonymous3 ___src__13s__anonymous3_1){
+    ((void)((*___dst__P13s__anonymous3_1).__i__i_1=___src__13s__anonymous3_1.__i__i_1));
+    return ((struct __anonymous3 )___src__13s__anonymous3_1);
+}
+static inline void ___constructor__F_P13s__anonymous3_autogen___1(struct __anonymous3 *___dst__P13s__anonymous3_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous3_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous313s__anonymous3_autogen___1(struct __anonymous3 *___dst__P13s__anonymous3_1, struct __anonymous3 ___src__13s__anonymous3_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous3_1).__i__i_1)))=___src__13s__anonymous3_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous3_autogen___1(struct __anonymous3 *___dst__P13s__anonymous3_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous3_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous3i_autogen___1(struct __anonymous3 *___dst__P13s__anonymous3_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous3_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static volatile const struct __anonymous3 __x13__CV13s__anonymous3_1;
+struct __anonymous4 {
+    int __i__i_1;
+};
+static inline struct __anonymous4 ___operator_assign__F13s__anonymous4_P13s__anonymous413s__anonymous4_autogen___1(struct __anonymous4 *___dst__P13s__anonymous4_1, struct __anonymous4 ___src__13s__anonymous4_1){
+    ((void)((*___dst__P13s__anonymous4_1).__i__i_1=___src__13s__anonymous4_1.__i__i_1));
+    return ((struct __anonymous4 )___src__13s__anonymous4_1);
+}
+static inline void ___constructor__F_P13s__anonymous4_autogen___1(struct __anonymous4 *___dst__P13s__anonymous4_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous4_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous413s__anonymous4_autogen___1(struct __anonymous4 *___dst__P13s__anonymous4_1, struct __anonymous4 ___src__13s__anonymous4_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous4_1).__i__i_1)))=___src__13s__anonymous4_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous4_autogen___1(struct __anonymous4 *___dst__P13s__anonymous4_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous4_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous4i_autogen___1(struct __anonymous4 *___dst__P13s__anonymous4_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous4_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static volatile const struct __anonymous4 __x14__CV13s__anonymous4_1;
+struct __anonymous5 {
+    int __i__i_1;
+};
+static inline struct __anonymous5 ___operator_assign__F13s__anonymous5_P13s__anonymous513s__anonymous5_autogen___1(struct __anonymous5 *___dst__P13s__anonymous5_1, struct __anonymous5 ___src__13s__anonymous5_1){
+    ((void)((*___dst__P13s__anonymous5_1).__i__i_1=___src__13s__anonymous5_1.__i__i_1));
+    return ((struct __anonymous5 )___src__13s__anonymous5_1);
+}
+static inline void ___constructor__F_P13s__anonymous5_autogen___1(struct __anonymous5 *___dst__P13s__anonymous5_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous5_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous513s__anonymous5_autogen___1(struct __anonymous5 *___dst__P13s__anonymous5_1, struct __anonymous5 ___src__13s__anonymous5_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous5_1).__i__i_1)))=___src__13s__anonymous5_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous5_autogen___1(struct __anonymous5 *___dst__P13s__anonymous5_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous5_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous5i_autogen___1(struct __anonymous5 *___dst__P13s__anonymous5_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous5_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static volatile const struct __anonymous5 __x15__CV13s__anonymous5_1;
+struct __anonymous6 {
+    int __i__i_1;
+};
+static inline struct __anonymous6 ___operator_assign__F13s__anonymous6_P13s__anonymous613s__anonymous6_autogen___1(struct __anonymous6 *___dst__P13s__anonymous6_1, struct __anonymous6 ___src__13s__anonymous6_1){
+    ((void)((*___dst__P13s__anonymous6_1).__i__i_1=___src__13s__anonymous6_1.__i__i_1));
+    return ((struct __anonymous6 )___src__13s__anonymous6_1);
+}
+static inline void ___constructor__F_P13s__anonymous6_autogen___1(struct __anonymous6 *___dst__P13s__anonymous6_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous6_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous613s__anonymous6_autogen___1(struct __anonymous6 *___dst__P13s__anonymous6_1, struct __anonymous6 ___src__13s__anonymous6_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous6_1).__i__i_1)))=___src__13s__anonymous6_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous6_autogen___1(struct __anonymous6 *___dst__P13s__anonymous6_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous6_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous6i_autogen___1(struct __anonymous6 *___dst__P13s__anonymous6_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous6_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static volatile const struct __anonymous6 __x16__CV13s__anonymous6_1;
+struct __anonymous7 {
+    int __i__i_1;
+};
+static inline struct __anonymous7 ___operator_assign__F13s__anonymous7_P13s__anonymous713s__anonymous7_autogen___1(struct __anonymous7 *___dst__P13s__anonymous7_1, struct __anonymous7 ___src__13s__anonymous7_1){
+    ((void)((*___dst__P13s__anonymous7_1).__i__i_1=___src__13s__anonymous7_1.__i__i_1));
+    return ((struct __anonymous7 )___src__13s__anonymous7_1);
+}
+static inline void ___constructor__F_P13s__anonymous7_autogen___1(struct __anonymous7 *___dst__P13s__anonymous7_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous7_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous713s__anonymous7_autogen___1(struct __anonymous7 *___dst__P13s__anonymous7_1, struct __anonymous7 ___src__13s__anonymous7_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous7_1).__i__i_1)))=___src__13s__anonymous7_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous7_autogen___1(struct __anonymous7 *___dst__P13s__anonymous7_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous7_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous7i_autogen___1(struct __anonymous7 *___dst__P13s__anonymous7_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P13s__anonymous7_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static volatile const struct __anonymous7 __x17__CV13s__anonymous7_1;
+volatile const short __x20__CVs_1;
+static volatile const short __x21__CVs_1;
+static volatile const short __x22__CVs_1;
+static volatile const short __x23__CVs_1;
+static volatile const short __x24__CVs_1;
+static volatile const short __x25__CVs_1;
+static volatile const short __x26__CVs_1;
+static volatile const short __x27__CVs_1;
+struct __anonymous8 {
+    short __i__s_1;
+};
+static inline struct __anonymous8 ___operator_assign__F13s__anonymous8_P13s__anonymous813s__anonymous8_autogen___1(struct __anonymous8 *___dst__P13s__anonymous8_1, struct __anonymous8 ___src__13s__anonymous8_1){
+    ((void)((*___dst__P13s__anonymous8_1).__i__s_1=___src__13s__anonymous8_1.__i__s_1));
+    return ((struct __anonymous8 )___src__13s__anonymous8_1);
+}
+static inline void ___constructor__F_P13s__anonymous8_autogen___1(struct __anonymous8 *___dst__P13s__anonymous8_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous8_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous813s__anonymous8_autogen___1(struct __anonymous8 *___dst__P13s__anonymous8_1, struct __anonymous8 ___src__13s__anonymous8_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous8_1).__i__s_1)))=___src__13s__anonymous8_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous8_autogen___1(struct __anonymous8 *___dst__P13s__anonymous8_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous8_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous8s_autogen___1(struct __anonymous8 *___dst__P13s__anonymous8_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous8_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+volatile const struct __anonymous8 __x29__CV13s__anonymous8_1;
+struct __anonymous9 {
+    short __i__s_1;
+};
+static inline struct __anonymous9 ___operator_assign__F13s__anonymous9_P13s__anonymous913s__anonymous9_autogen___1(struct __anonymous9 *___dst__P13s__anonymous9_1, struct __anonymous9 ___src__13s__anonymous9_1){
+    ((void)((*___dst__P13s__anonymous9_1).__i__s_1=___src__13s__anonymous9_1.__i__s_1));
+    return ((struct __anonymous9 )___src__13s__anonymous9_1);
+}
+static inline void ___constructor__F_P13s__anonymous9_autogen___1(struct __anonymous9 *___dst__P13s__anonymous9_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous9_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous913s__anonymous9_autogen___1(struct __anonymous9 *___dst__P13s__anonymous9_1, struct __anonymous9 ___src__13s__anonymous9_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous9_1).__i__s_1)))=___src__13s__anonymous9_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P13s__anonymous9_autogen___1(struct __anonymous9 *___dst__P13s__anonymous9_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous9_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P13s__anonymous9s_autogen___1(struct __anonymous9 *___dst__P13s__anonymous9_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P13s__anonymous9_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+volatile const struct __anonymous9 __x30__CV13s__anonymous9_1;
+struct __anonymous10 {
+    short __i__s_1;
+};
+static inline struct __anonymous10 ___operator_assign__F14s__anonymous10_P14s__anonymous1014s__anonymous10_autogen___1(struct __anonymous10 *___dst__P14s__anonymous10_1, struct __anonymous10 ___src__14s__anonymous10_1){
+    ((void)((*___dst__P14s__anonymous10_1).__i__s_1=___src__14s__anonymous10_1.__i__s_1));
+    return ((struct __anonymous10 )___src__14s__anonymous10_1);
+}
+static inline void ___constructor__F_P14s__anonymous10_autogen___1(struct __anonymous10 *___dst__P14s__anonymous10_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous10_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1014s__anonymous10_autogen___1(struct __anonymous10 *___dst__P14s__anonymous10_1, struct __anonymous10 ___src__14s__anonymous10_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous10_1).__i__s_1)))=___src__14s__anonymous10_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous10_autogen___1(struct __anonymous10 *___dst__P14s__anonymous10_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous10_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous10s_autogen___1(struct __anonymous10 *___dst__P14s__anonymous10_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous10_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+volatile const struct __anonymous10 __x31__CV14s__anonymous10_1;
+struct __anonymous11 {
+    short __i__s_1;
+};
+static inline struct __anonymous11 ___operator_assign__F14s__anonymous11_P14s__anonymous1114s__anonymous11_autogen___1(struct __anonymous11 *___dst__P14s__anonymous11_1, struct __anonymous11 ___src__14s__anonymous11_1){
+    ((void)((*___dst__P14s__anonymous11_1).__i__s_1=___src__14s__anonymous11_1.__i__s_1));
+    return ((struct __anonymous11 )___src__14s__anonymous11_1);
+}
+static inline void ___constructor__F_P14s__anonymous11_autogen___1(struct __anonymous11 *___dst__P14s__anonymous11_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous11_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1114s__anonymous11_autogen___1(struct __anonymous11 *___dst__P14s__anonymous11_1, struct __anonymous11 ___src__14s__anonymous11_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous11_1).__i__s_1)))=___src__14s__anonymous11_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous11_autogen___1(struct __anonymous11 *___dst__P14s__anonymous11_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous11_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous11s_autogen___1(struct __anonymous11 *___dst__P14s__anonymous11_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous11_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+static volatile const struct __anonymous11 __x32__CV14s__anonymous11_1;
+struct __anonymous12 {
+    short __i__s_1;
+};
+static inline struct __anonymous12 ___operator_assign__F14s__anonymous12_P14s__anonymous1214s__anonymous12_autogen___1(struct __anonymous12 *___dst__P14s__anonymous12_1, struct __anonymous12 ___src__14s__anonymous12_1){
+    ((void)((*___dst__P14s__anonymous12_1).__i__s_1=___src__14s__anonymous12_1.__i__s_1));
+    return ((struct __anonymous12 )___src__14s__anonymous12_1);
+}
+static inline void ___constructor__F_P14s__anonymous12_autogen___1(struct __anonymous12 *___dst__P14s__anonymous12_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous12_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1214s__anonymous12_autogen___1(struct __anonymous12 *___dst__P14s__anonymous12_1, struct __anonymous12 ___src__14s__anonymous12_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous12_1).__i__s_1)))=___src__14s__anonymous12_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous12_autogen___1(struct __anonymous12 *___dst__P14s__anonymous12_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous12_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous12s_autogen___1(struct __anonymous12 *___dst__P14s__anonymous12_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous12_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+static volatile const struct __anonymous12 __x33__CV14s__anonymous12_1;
+struct __anonymous13 {
+    short __i__s_1;
+};
+static inline struct __anonymous13 ___operator_assign__F14s__anonymous13_P14s__anonymous1314s__anonymous13_autogen___1(struct __anonymous13 *___dst__P14s__anonymous13_1, struct __anonymous13 ___src__14s__anonymous13_1){
+    ((void)((*___dst__P14s__anonymous13_1).__i__s_1=___src__14s__anonymous13_1.__i__s_1));
+    return ((struct __anonymous13 )___src__14s__anonymous13_1);
+}
+static inline void ___constructor__F_P14s__anonymous13_autogen___1(struct __anonymous13 *___dst__P14s__anonymous13_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous13_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1314s__anonymous13_autogen___1(struct __anonymous13 *___dst__P14s__anonymous13_1, struct __anonymous13 ___src__14s__anonymous13_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous13_1).__i__s_1)))=___src__14s__anonymous13_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous13_autogen___1(struct __anonymous13 *___dst__P14s__anonymous13_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous13_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous13s_autogen___1(struct __anonymous13 *___dst__P14s__anonymous13_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous13_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+static volatile const struct __anonymous13 __x34__CV14s__anonymous13_1;
+struct __anonymous14 {
+    short __i__s_1;
+};
+static inline struct __anonymous14 ___operator_assign__F14s__anonymous14_P14s__anonymous1414s__anonymous14_autogen___1(struct __anonymous14 *___dst__P14s__anonymous14_1, struct __anonymous14 ___src__14s__anonymous14_1){
+    ((void)((*___dst__P14s__anonymous14_1).__i__s_1=___src__14s__anonymous14_1.__i__s_1));
+    return ((struct __anonymous14 )___src__14s__anonymous14_1);
+}
+static inline void ___constructor__F_P14s__anonymous14_autogen___1(struct __anonymous14 *___dst__P14s__anonymous14_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous14_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1414s__anonymous14_autogen___1(struct __anonymous14 *___dst__P14s__anonymous14_1, struct __anonymous14 ___src__14s__anonymous14_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous14_1).__i__s_1)))=___src__14s__anonymous14_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous14_autogen___1(struct __anonymous14 *___dst__P14s__anonymous14_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous14_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous14s_autogen___1(struct __anonymous14 *___dst__P14s__anonymous14_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous14_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+static volatile const struct __anonymous14 __x35__CV14s__anonymous14_1;
+struct __anonymous15 {
+    short __i__s_1;
+};
+static inline struct __anonymous15 ___operator_assign__F14s__anonymous15_P14s__anonymous1514s__anonymous15_autogen___1(struct __anonymous15 *___dst__P14s__anonymous15_1, struct __anonymous15 ___src__14s__anonymous15_1){
+    ((void)((*___dst__P14s__anonymous15_1).__i__s_1=___src__14s__anonymous15_1.__i__s_1));
+    return ((struct __anonymous15 )___src__14s__anonymous15_1);
+}
+static inline void ___constructor__F_P14s__anonymous15_autogen___1(struct __anonymous15 *___dst__P14s__anonymous15_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous15_1).__i__s_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1514s__anonymous15_autogen___1(struct __anonymous15 *___dst__P14s__anonymous15_1, struct __anonymous15 ___src__14s__anonymous15_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous15_1).__i__s_1)))=___src__14s__anonymous15_1.__i__s_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous15_autogen___1(struct __anonymous15 *___dst__P14s__anonymous15_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous15_1).__i__s_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous15s_autogen___1(struct __anonymous15 *___dst__P14s__anonymous15_1, short __i__s_1){
+    ((void)((*((short *)(&(*___dst__P14s__anonymous15_1).__i__s_1)))=__i__s_1) /* ?{} */);
+}
+static volatile const struct __anonymous15 __x36__CV14s__anonymous15_1;
+static inline volatile const int __f11__FCVi___1();
+static inline volatile const int __f12__FCVi___1();
+static inline volatile const int __f13__FCVi___1();
+static inline volatile const int __f14__FCVi___1();
+static inline volatile const int __f15__FCVi___1();
+static inline volatile const int __f16__FCVi___1();
+static inline volatile const int __f17__FCVi___1();
+static inline volatile const int __f18__FCVi___1();
+static inline volatile const short __f21__FCVs___1();
+static inline volatile const short __f22__FCVs___1();
+static inline volatile const short __f23__FCVs___1();
+static inline volatile const short __f24__FCVs___1();
+static inline volatile const short __f25__FCVs___1();
+static inline volatile const short __f26__FCVs___1();
+static inline volatile const short __f27__FCVs___1();
+static inline volatile const short __f28__FCVs___1();
+struct __anonymous16 {
+    int __i__i_1;
+};
+static inline struct __anonymous16 ___operator_assign__F14s__anonymous16_P14s__anonymous1614s__anonymous16_autogen___1(struct __anonymous16 *___dst__P14s__anonymous16_1, struct __anonymous16 ___src__14s__anonymous16_1){
+    ((void)((*___dst__P14s__anonymous16_1).__i__i_1=___src__14s__anonymous16_1.__i__i_1));
+    return ((struct __anonymous16 )___src__14s__anonymous16_1);
+}
+static inline void ___constructor__F_P14s__anonymous16_autogen___1(struct __anonymous16 *___dst__P14s__anonymous16_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous16_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1614s__anonymous16_autogen___1(struct __anonymous16 *___dst__P14s__anonymous16_1, struct __anonymous16 ___src__14s__anonymous16_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous16_1).__i__i_1)))=___src__14s__anonymous16_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous16_autogen___1(struct __anonymous16 *___dst__P14s__anonymous16_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous16_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous16i_autogen___1(struct __anonymous16 *___dst__P14s__anonymous16_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous16_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous16 __f31__FCV14s__anonymous16___1();
+struct __anonymous17 {
+    int __i__i_1;
+};
+static inline struct __anonymous17 ___operator_assign__F14s__anonymous17_P14s__anonymous1714s__anonymous17_autogen___1(struct __anonymous17 *___dst__P14s__anonymous17_1, struct __anonymous17 ___src__14s__anonymous17_1){
+    ((void)((*___dst__P14s__anonymous17_1).__i__i_1=___src__14s__anonymous17_1.__i__i_1));
+    return ((struct __anonymous17 )___src__14s__anonymous17_1);
+}
+static inline void ___constructor__F_P14s__anonymous17_autogen___1(struct __anonymous17 *___dst__P14s__anonymous17_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous17_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1714s__anonymous17_autogen___1(struct __anonymous17 *___dst__P14s__anonymous17_1, struct __anonymous17 ___src__14s__anonymous17_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous17_1).__i__i_1)))=___src__14s__anonymous17_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous17_autogen___1(struct __anonymous17 *___dst__P14s__anonymous17_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous17_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous17i_autogen___1(struct __anonymous17 *___dst__P14s__anonymous17_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous17_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous17 __f32__FCV14s__anonymous17___1();
+struct __anonymous18 {
+    int __i__i_1;
+};
+static inline struct __anonymous18 ___operator_assign__F14s__anonymous18_P14s__anonymous1814s__anonymous18_autogen___1(struct __anonymous18 *___dst__P14s__anonymous18_1, struct __anonymous18 ___src__14s__anonymous18_1){
+    ((void)((*___dst__P14s__anonymous18_1).__i__i_1=___src__14s__anonymous18_1.__i__i_1));
+    return ((struct __anonymous18 )___src__14s__anonymous18_1);
+}
+static inline void ___constructor__F_P14s__anonymous18_autogen___1(struct __anonymous18 *___dst__P14s__anonymous18_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous18_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1814s__anonymous18_autogen___1(struct __anonymous18 *___dst__P14s__anonymous18_1, struct __anonymous18 ___src__14s__anonymous18_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous18_1).__i__i_1)))=___src__14s__anonymous18_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous18_autogen___1(struct __anonymous18 *___dst__P14s__anonymous18_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous18_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous18i_autogen___1(struct __anonymous18 *___dst__P14s__anonymous18_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous18_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous18 __f33__FCV14s__anonymous18___1();
+struct __anonymous19 {
+    int __i__i_1;
+};
+static inline struct __anonymous19 ___operator_assign__F14s__anonymous19_P14s__anonymous1914s__anonymous19_autogen___1(struct __anonymous19 *___dst__P14s__anonymous19_1, struct __anonymous19 ___src__14s__anonymous19_1){
+    ((void)((*___dst__P14s__anonymous19_1).__i__i_1=___src__14s__anonymous19_1.__i__i_1));
+    return ((struct __anonymous19 )___src__14s__anonymous19_1);
+}
+static inline void ___constructor__F_P14s__anonymous19_autogen___1(struct __anonymous19 *___dst__P14s__anonymous19_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous19_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous1914s__anonymous19_autogen___1(struct __anonymous19 *___dst__P14s__anonymous19_1, struct __anonymous19 ___src__14s__anonymous19_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous19_1).__i__i_1)))=___src__14s__anonymous19_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous19_autogen___1(struct __anonymous19 *___dst__P14s__anonymous19_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous19_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous19i_autogen___1(struct __anonymous19 *___dst__P14s__anonymous19_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous19_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous19 __f34__FCV14s__anonymous19___1();
+struct __anonymous20 {
+    int __i__i_1;
+};
+static inline struct __anonymous20 ___operator_assign__F14s__anonymous20_P14s__anonymous2014s__anonymous20_autogen___1(struct __anonymous20 *___dst__P14s__anonymous20_1, struct __anonymous20 ___src__14s__anonymous20_1){
+    ((void)((*___dst__P14s__anonymous20_1).__i__i_1=___src__14s__anonymous20_1.__i__i_1));
+    return ((struct __anonymous20 )___src__14s__anonymous20_1);
+}
+static inline void ___constructor__F_P14s__anonymous20_autogen___1(struct __anonymous20 *___dst__P14s__anonymous20_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous20_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous2014s__anonymous20_autogen___1(struct __anonymous20 *___dst__P14s__anonymous20_1, struct __anonymous20 ___src__14s__anonymous20_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous20_1).__i__i_1)))=___src__14s__anonymous20_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous20_autogen___1(struct __anonymous20 *___dst__P14s__anonymous20_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous20_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous20i_autogen___1(struct __anonymous20 *___dst__P14s__anonymous20_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous20_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous20 __f35__FCV14s__anonymous20___1();
+struct __anonymous21 {
+    int __i__i_1;
+};
+static inline struct __anonymous21 ___operator_assign__F14s__anonymous21_P14s__anonymous2114s__anonymous21_autogen___1(struct __anonymous21 *___dst__P14s__anonymous21_1, struct __anonymous21 ___src__14s__anonymous21_1){
+    ((void)((*___dst__P14s__anonymous21_1).__i__i_1=___src__14s__anonymous21_1.__i__i_1));
+    return ((struct __anonymous21 )___src__14s__anonymous21_1);
+}
+static inline void ___constructor__F_P14s__anonymous21_autogen___1(struct __anonymous21 *___dst__P14s__anonymous21_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous21_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous2114s__anonymous21_autogen___1(struct __anonymous21 *___dst__P14s__anonymous21_1, struct __anonymous21 ___src__14s__anonymous21_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous21_1).__i__i_1)))=___src__14s__anonymous21_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous21_autogen___1(struct __anonymous21 *___dst__P14s__anonymous21_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous21_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous21i_autogen___1(struct __anonymous21 *___dst__P14s__anonymous21_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous21_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous21 __f36__FCV14s__anonymous21___1();
+struct __anonymous22 {
+    int __i__i_1;
+};
+static inline struct __anonymous22 ___operator_assign__F14s__anonymous22_P14s__anonymous2214s__anonymous22_autogen___1(struct __anonymous22 *___dst__P14s__anonymous22_1, struct __anonymous22 ___src__14s__anonymous22_1){
+    ((void)((*___dst__P14s__anonymous22_1).__i__i_1=___src__14s__anonymous22_1.__i__i_1));
+    return ((struct __anonymous22 )___src__14s__anonymous22_1);
+}
+static inline void ___constructor__F_P14s__anonymous22_autogen___1(struct __anonymous22 *___dst__P14s__anonymous22_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous22_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous2214s__anonymous22_autogen___1(struct __anonymous22 *___dst__P14s__anonymous22_1, struct __anonymous22 ___src__14s__anonymous22_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous22_1).__i__i_1)))=___src__14s__anonymous22_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous22_autogen___1(struct __anonymous22 *___dst__P14s__anonymous22_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous22_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous22i_autogen___1(struct __anonymous22 *___dst__P14s__anonymous22_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous22_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous22 __f37__FCV14s__anonymous22___1();
+struct __anonymous23 {
+    int __i__i_1;
+};
+static inline struct __anonymous23 ___operator_assign__F14s__anonymous23_P14s__anonymous2314s__anonymous23_autogen___1(struct __anonymous23 *___dst__P14s__anonymous23_1, struct __anonymous23 ___src__14s__anonymous23_1){
+    ((void)((*___dst__P14s__anonymous23_1).__i__i_1=___src__14s__anonymous23_1.__i__i_1));
+    return ((struct __anonymous23 )___src__14s__anonymous23_1);
+}
+static inline void ___constructor__F_P14s__anonymous23_autogen___1(struct __anonymous23 *___dst__P14s__anonymous23_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous23_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous2314s__anonymous23_autogen___1(struct __anonymous23 *___dst__P14s__anonymous23_1, struct __anonymous23 ___src__14s__anonymous23_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous23_1).__i__i_1)))=___src__14s__anonymous23_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P14s__anonymous23_autogen___1(struct __anonymous23 *___dst__P14s__anonymous23_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous23_1).__i__i_1)))) /* ^?{} */);
+}
+static inline void ___constructor__F_P14s__anonymous23i_autogen___1(struct __anonymous23 *___dst__P14s__anonymous23_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P14s__anonymous23_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+static inline volatile const struct __anonymous23 __f38__FCV14s__anonymous23___1();
+static inline volatile const short __f41__FCVs___1();
+static inline volatile const short __f42__FCVs___1();
+static inline volatile const short __f43__FCVs___1();
+static inline volatile const short __f44__FCVs___1();
+static inline volatile const short __f45__FCVs___1();
+static inline volatile const short __f46__FCVs___1();
+static inline volatile const short __f47__FCVs___1();
+static inline volatile const short __f48__FCVs___1();
+int main(int __argc__i_1, const char **__argv__PPCc_1){
+    int _retVal0 = { 0 };
+    ((void)(_retVal0=0) /* ?{} */);
+    return ((int )_retVal0);
+}
+__attribute__ ((constructor(),)) static void _init_declarationSpecifier(void){
+    volatile const short _global_init0;
+    ((void)((*((short *)(&__x1__CVs_1)))=_global_init0) /* ?{} */);
+    volatile const short _global_init1;
+    ((void)((*((short *)(&__x2__CVs_1)))=_global_init1) /* ?{} */);
+    volatile const short _global_init2;
+    ((void)((*((short *)(&__x3__CVs_1)))=_global_init2) /* ?{} */);
+    volatile const short _global_init3;
+    ((void)((*((short *)(&__x4__CVs_1)))=_global_init3) /* ?{} */);
+    volatile const short _global_init4;
+    ((void)((*((short *)(&__x5__CVs_1)))=_global_init4) /* ?{} */);
+    volatile const short _global_init5;
+    ((void)((*((short *)(&__x6__CVs_1)))=_global_init5) /* ?{} */);
+    volatile const short _global_init6;
+    ((void)((*((short *)(&__x7__CVs_1)))=_global_init6) /* ?{} */);
+    volatile const short _global_init7;
+    ((void)((*((short *)(&__x8__CVs_1)))=_global_init7) /* ?{} */);
+    volatile const struct __anonymous0 _global_init8;
+    ((void)___constructor__F_P13s__anonymous0_autogen___1(((struct __anonymous0 *)(&_global_init8))));
+    ((void)___constructor__F_P13s__anonymous013s__anonymous0_autogen___1(((struct __anonymous0 *)(&__x10__CV13s__anonymous0_1)), _global_init8));
+    volatile const struct __anonymous1 _global_init9;
+    ((void)___constructor__F_P13s__anonymous1_autogen___1(((struct __anonymous1 *)(&_global_init9))));
+    ((void)___constructor__F_P13s__anonymous113s__anonymous1_autogen___1(((struct __anonymous1 *)(&__x11__CV13s__anonymous1_1)), _global_init9));
+    volatile const struct __anonymous2 _global_init10;
+    ((void)___constructor__F_P13s__anonymous2_autogen___1(((struct __anonymous2 *)(&_global_init10))));
+    ((void)___constructor__F_P13s__anonymous213s__anonymous2_autogen___1(((struct __anonymous2 *)(&__x12__CV13s__anonymous2_1)), _global_init10));
+    volatile const struct __anonymous3 _global_init11;
+    ((void)___constructor__F_P13s__anonymous3_autogen___1(((struct __anonymous3 *)(&_global_init11))));
+    ((void)___constructor__F_P13s__anonymous313s__anonymous3_autogen___1(((struct __anonymous3 *)(&__x13__CV13s__anonymous3_1)), _global_init11));
+    volatile const struct __anonymous4 _global_init12;
+    ((void)___constructor__F_P13s__anonymous4_autogen___1(((struct __anonymous4 *)(&_global_init12))));
+    ((void)___constructor__F_P13s__anonymous413s__anonymous4_autogen___1(((struct __anonymous4 *)(&__x14__CV13s__anonymous4_1)), _global_init12));
+    volatile const struct __anonymous5 _global_init13;
+    ((void)___constructor__F_P13s__anonymous5_autogen___1(((struct __anonymous5 *)(&_global_init13))));
+    ((void)___constructor__F_P13s__anonymous513s__anonymous5_autogen___1(((struct __anonymous5 *)(&__x15__CV13s__anonymous5_1)), _global_init13));
+    volatile const struct __anonymous6 _global_init14;
+    ((void)___constructor__F_P13s__anonymous6_autogen___1(((struct __anonymous6 *)(&_global_init14))));
+    ((void)___constructor__F_P13s__anonymous613s__anonymous6_autogen___1(((struct __anonymous6 *)(&__x16__CV13s__anonymous6_1)), _global_init14));
+    volatile const struct __anonymous7 _global_init15;
+    ((void)___constructor__F_P13s__anonymous7_autogen___1(((struct __anonymous7 *)(&_global_init15))));
+    ((void)___constructor__F_P13s__anonymous713s__anonymous7_autogen___1(((struct __anonymous7 *)(&__x17__CV13s__anonymous7_1)), _global_init15));
+    volatile const short _global_init16;
+    ((void)((*((short *)(&__x20__CVs_1)))=_global_init16) /* ?{} */);
+    volatile const short _global_init17;
+    ((void)((*((short *)(&__x21__CVs_1)))=_global_init17) /* ?{} */);
+    volatile const short _global_init18;
+    ((void)((*((short *)(&__x22__CVs_1)))=_global_init18) /* ?{} */);
+    volatile const short _global_init19;
+    ((void)((*((short *)(&__x23__CVs_1)))=_global_init19) /* ?{} */);
+    volatile const short _global_init20;
+    ((void)((*((short *)(&__x24__CVs_1)))=_global_init20) /* ?{} */);
+    volatile const short _global_init21;
+    ((void)((*((short *)(&__x25__CVs_1)))=_global_init21) /* ?{} */);
+    volatile const short _global_init22;
+    ((void)((*((short *)(&__x26__CVs_1)))=_global_init22) /* ?{} */);
+    volatile const short _global_init23;
+    ((void)((*((short *)(&__x27__CVs_1)))=_global_init23) /* ?{} */);
+    volatile const struct __anonymous8 _global_init24;
+    ((void)___constructor__F_P13s__anonymous8_autogen___1(((struct __anonymous8 *)(&_global_init24))));
+    ((void)___constructor__F_P13s__anonymous813s__anonymous8_autogen___1(((struct __anonymous8 *)(&__x29__CV13s__anonymous8_1)), _global_init24));
+    volatile const struct __anonymous9 _global_init25;
+    ((void)___constructor__F_P13s__anonymous9_autogen___1(((struct __anonymous9 *)(&_global_init25))));
+    ((void)___constructor__F_P13s__anonymous913s__anonymous9_autogen___1(((struct __anonymous9 *)(&__x30__CV13s__anonymous9_1)), _global_init25));
+    volatile const struct __anonymous10 _global_init26;
+    ((void)___constructor__F_P14s__anonymous10_autogen___1(((struct __anonymous10 *)(&_global_init26))));
+    ((void)___constructor__F_P14s__anonymous1014s__anonymous10_autogen___1(((struct __anonymous10 *)(&__x31__CV14s__anonymous10_1)), _global_init26));
+    volatile const struct __anonymous11 _global_init27;
+    ((void)___constructor__F_P14s__anonymous11_autogen___1(((struct __anonymous11 *)(&_global_init27))));
+    ((void)___constructor__F_P14s__anonymous1114s__anonymous11_autogen___1(((struct __anonymous11 *)(&__x32__CV14s__anonymous11_1)), _global_init27));
+    volatile const struct __anonymous12 _global_init28;
+    ((void)___constructor__F_P14s__anonymous12_autogen___1(((struct __anonymous12 *)(&_global_init28))));
+    ((void)___constructor__F_P14s__anonymous1214s__anonymous12_autogen___1(((struct __anonymous12 *)(&__x33__CV14s__anonymous12_1)), _global_init28));
+    volatile const struct __anonymous13 _global_init29;
+    ((void)___constructor__F_P14s__anonymous13_autogen___1(((struct __anonymous13 *)(&_global_init29))));
+    ((void)___constructor__F_P14s__anonymous1314s__anonymous13_autogen___1(((struct __anonymous13 *)(&__x34__CV14s__anonymous13_1)), _global_init29));
+    volatile const struct __anonymous14 _global_init30;
+    ((void)___constructor__F_P14s__anonymous14_autogen___1(((struct __anonymous14 *)(&_global_init30))));
+    ((void)___constructor__F_P14s__anonymous1414s__anonymous14_autogen___1(((struct __anonymous14 *)(&__x35__CV14s__anonymous14_1)), _global_init30));
+    volatile const struct __anonymous15 _global_init31;
+    ((void)___constructor__F_P14s__anonymous15_autogen___1(((struct __anonymous15 *)(&_global_init31))));
+    ((void)___constructor__F_P14s__anonymous1514s__anonymous15_autogen___1(((struct __anonymous15 *)(&__x36__CV14s__anonymous15_1)), _global_init31));
+    ((void)___destructor__F_P14s__anonymous15_autogen___1(((struct __anonymous15 *)(&_global_init31))));
+    ((void)___destructor__F_P14s__anonymous14_autogen___1(((struct __anonymous14 *)(&_global_init30))));
+    ((void)___destructor__F_P14s__anonymous13_autogen___1(((struct __anonymous13 *)(&_global_init29))));
+    ((void)___destructor__F_P14s__anonymous12_autogen___1(((struct __anonymous12 *)(&_global_init28))));
+    ((void)___destructor__F_P14s__anonymous11_autogen___1(((struct __anonymous11 *)(&_global_init27))));
+    ((void)___destructor__F_P14s__anonymous10_autogen___1(((struct __anonymous10 *)(&_global_init26))));
+    ((void)___destructor__F_P13s__anonymous9_autogen___1(((struct __anonymous9 *)(&_global_init25))));
+    ((void)___destructor__F_P13s__anonymous8_autogen___1(((struct __anonymous8 *)(&_global_init24))));
+    ((void)___destructor__F_P13s__anonymous7_autogen___1(((struct __anonymous7 *)(&_global_init15))));
+    ((void)___destructor__F_P13s__anonymous6_autogen___1(((struct __anonymous6 *)(&_global_init14))));
+    ((void)___destructor__F_P13s__anonymous5_autogen___1(((struct __anonymous5 *)(&_global_init13))));
+    ((void)___destructor__F_P13s__anonymous4_autogen___1(((struct __anonymous4 *)(&_global_init12))));
+    ((void)___destructor__F_P13s__anonymous3_autogen___1(((struct __anonymous3 *)(&_global_init11))));
+    ((void)___destructor__F_P13s__anonymous2_autogen___1(((struct __anonymous2 *)(&_global_init10))));
+    ((void)___destructor__F_P13s__anonymous1_autogen___1(((struct __anonymous1 *)(&_global_init9))));
+    ((void)___destructor__F_P13s__anonymous0_autogen___1(((struct __anonymous0 *)(&_global_init8))));
+}
+__attribute__ ((destructor(),)) static void _destroy_declarationSpecifier(void){
+    ((void)___destructor__F_P14s__anonymous15_autogen___1(((struct __anonymous15 *)(&__x36__CV14s__anonymous15_1))));
+    ((void)___destructor__F_P14s__anonymous14_autogen___1(((struct __anonymous14 *)(&__x35__CV14s__anonymous14_1))));
+    ((void)___destructor__F_P14s__anonymous13_autogen___1(((struct __anonymous13 *)(&__x34__CV14s__anonymous13_1))));
+    ((void)___destructor__F_P14s__anonymous12_autogen___1(((struct __anonymous12 *)(&__x33__CV14s__anonymous12_1))));
+    ((void)___destructor__F_P14s__anonymous11_autogen___1(((struct __anonymous11 *)(&__x32__CV14s__anonymous11_1))));
+    ((void)___destructor__F_P14s__anonymous10_autogen___1(((struct __anonymous10 *)(&__x31__CV14s__anonymous10_1))));
+    ((void)___destructor__F_P13s__anonymous9_autogen___1(((struct __anonymous9 *)(&__x30__CV13s__anonymous9_1))));
+    ((void)___destructor__F_P13s__anonymous8_autogen___1(((struct __anonymous8 *)(&__x29__CV13s__anonymous8_1))));
+    ((void)((*((short *)(&__x27__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x26__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x25__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x24__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x23__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x22__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x21__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x20__CVs_1)))) /* ^?{} */);
+    ((void)___destructor__F_P13s__anonymous7_autogen___1(((struct __anonymous7 *)(&__x17__CV13s__anonymous7_1))));
+    ((void)___destructor__F_P13s__anonymous6_autogen___1(((struct __anonymous6 *)(&__x16__CV13s__anonymous6_1))));
+    ((void)___destructor__F_P13s__anonymous5_autogen___1(((struct __anonymous5 *)(&__x15__CV13s__anonymous5_1))));
+    ((void)___destructor__F_P13s__anonymous4_autogen___1(((struct __anonymous4 *)(&__x14__CV13s__anonymous4_1))));
+    ((void)___destructor__F_P13s__anonymous3_autogen___1(((struct __anonymous3 *)(&__x13__CV13s__anonymous3_1))));
+    ((void)___destructor__F_P13s__anonymous2_autogen___1(((struct __anonymous2 *)(&__x12__CV13s__anonymous2_1))));
+    ((void)___destructor__F_P13s__anonymous1_autogen___1(((struct __anonymous1 *)(&__x11__CV13s__anonymous1_1))));
+    ((void)___destructor__F_P13s__anonymous0_autogen___1(((struct __anonymous0 *)(&__x10__CV13s__anonymous0_1))));
+    ((void)((*((short *)(&__x8__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x7__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x6__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x5__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x4__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x3__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x2__CVs_1)))) /* ^?{} */);
+    ((void)((*((short *)(&__x1__CVs_1)))) /* ^?{} */);
+}

src/tests/Makefile.am

@@ -53 +53 @@
         ${CC} ${CFLAGS} -DERR2 ${<} -o ${@}
 
+declarationSpecifier: declarationSpecifier.c
+        ${CC} ${CFALGS} -CFA -XCFA -p ${<} -o ${@}
+
 gccExtensions : gccExtensions.c
         ${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}

src/tests/Makefile.in

@@ -661 +661 @@
         ${CC} ${CFLAGS} -DERR2 ${<} -o ${@}
 
+declarationSpecifier: declarationSpecifier.c
+        ${CC} ${CFALGS} -CFA -XCFA -p ${<} -o ${@}
+
 gccExtensions : gccExtensions.c
         ${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}

src/tests/declarationErrors.c

@@ +1 @@
+const short static int volatile x4;
+const static volatile short int x4;
 static short int volatile static const x9;              // duplicate static
 struct { int i; } const static volatile static x18;     // duplicate static
@@ -5 +7 @@
 static Int volatile static const x28;                   // duplicate static
 
+const static inline const volatile int f01();           // duplicate const
+volatile inline const volatile static int f02();        // duplicate volatile
+const inline const volatile int static f03();           // duplicate const
+volatile inline static const volatile int f04();        // duplicate volatile
+const static const inline volatile int f05();           // duplicate const
+volatile static const volatile inline int f06();        // duplicate volatile
+const static const volatile int inline f07();           // duplicate const
+volatile static const int inline volatile f08();        // duplicate volatile
+
 //Dummy main
 int main(int argc, char const *argv[])

src/tests/declarationSpecifier.c

@@ -1 +1 @@
 typedef short int Int;
-
 
 const short int volatile x1;
 static const short int volatile x2;
 const static short int volatile x3;
-const short static int volatile x4;
 const static volatile short int x4;
 const short int static volatile x5;
@@ -11 +9 @@
 const short volatile int static x7;
 short int volatile static const x8;
-static short int volatile static const x9;              // duplicate static
 
 const volatile struct { int i; } x10;
@@ -21 +18 @@
 struct { int i; } const static volatile x16;
 struct { int i; } const volatile static x17;
-struct { int i; } const static volatile static x18;     // duplicate static
-struct { int i; } const static volatile static volatile x19; // duplicate static & volatile
 
 const Int volatile x20;
@@ -32 +27 @@
 const volatile Int static x26;
 Int volatile static const x27;
-static Int volatile static const x28;                   // duplicate static
 
 const volatile struct { Int i; } x29;
@@ -42 +36 @@
 struct { Int i; } const static volatile x35;
 struct { Int i; } const volatile static x36;
-
-
-const static inline const volatile int f01();           // duplicate const
-volatile inline const volatile static int f02();        // duplicate volatile
-const inline const volatile int static f03();           // duplicate const
-volatile inline static const volatile int f04();        // duplicate volatile
-const static const inline volatile int f05();           // duplicate const
-volatile static const volatile inline int f06();        // duplicate volatile
-const static const volatile int inline f07();           // duplicate const
-volatile static const int inline volatile f08();        // duplicate volatile
 
 static inline const volatile int f11();