#include <string.h>

int f(int i);
int g(int i) __attribute__((const));
int h(int i) __attribute__((pure));

int SE_INIT(int x, int y, volatile int *z, char *s){ 
    int A[2] = {x+y, x-y};                          /* no side effects */
    if (!A[1]){return 1;}
    
    int B[2] = {x++, y++};   /* 'Side Effects in Initializer List' warning issued here */
    if (!B[1]){return 1;}

    int C[2] = {y, *z};      /* 'Side Effects in Initializer List' warning issued here */
    if (!C[1]){return 1;}

    int D[2] = {1, z[1]};    /* 'Side Effects in Initializer List' warning issued here */
    if (!D[1]){return 1; }

    int E[2] = {1, f(x)};    /* 'Side Effects in Initializer List' warning issued here */
    if (!E[1]){return 1;}

    int F[2] = {1, g(x)};                           /* g() declared with  __attribute__((const)) */
    if (!F[1]){return 1;}

    int G[2] = {1, h(x)};                           /* g() declared with  __attribute__((pure)) */
    if (!G[1]){return 1;}

    int H[2] = {1, strlen(s)};                      /* strlen() matches a factory setting for SIDE_EFFECT_FREE_FUNCTIONS */

    return H[1];
    /* ... */
}