/* bug #1222 - 'sizeof' issues */
#include <stdlib.h>
int a[1];
int b[sizeof ++a[42]]; /* should work as '++a[42]' is actually unevaluated */
int main(void)
{
return EXIT_SUCCESS;
}