http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60804
--- Comment #8 from Andi Kleen <andi-gcc at firstfloor dot org> ---
I went through my collection of gimplify:8335 from the generator.
Not all of them are special statements. So some more general check would be
needed.
Some examples:
(*l_11) = (g_9 = _Cilk_spawn func_2(l_4));
(*g_682) = _Cilk_spawn func_2(g_5, (((((g_5 |
((safe_add_func_int32_t_s_s((((*g_682) = _Cilk_spawn func_8(g_5, _Cilk_spawn
func_12(g_5), (l_2841 = l_2841))) != (g_3060 = l_3057)),
(safe_mod_func_uint16_t_u_u(g_868.f0, g_2089.f3)))) && 1UL)) , l_3063) & g_88)
| (*l_3057)) , l_3064));
l_1679 ^= _Cilk_spawn func_10((((safe_lshift_func_int8_t_s_u(((((*l_1669) ^=
(0x4BAFC8D6799626DALL || (((~((*l_1668) = (safe_rshift_func_uint16_t_u_u(((g_3
== (safe_mul_func_int16_t_s_s((safe_rshift_func_uint16_t_u_s(g_3, 2)),
((safe_mul_func_uint8_t_u_u(_Cilk_spawn func_24(&g_3, ((*l_32) &=
(safe_rshift_func_int8_t_s_s(g_7, g_6[8][1][3]))), ((((_Cilk_spawn
func_34(_Cilk_spawn func_37(((-1L) > (*l_2)), ((*l_925) = _Cilk_spawn
func_43(g_6[7][3][2])), &g_198[1][1][7], l_2, (*l_2)), l_5[2][0][1]) && 0x43L)
, g_317) ^ l_1665[0]) < g_604), l_2, l_5[4][8][2]), 1UL)) < 0xF63AL)))) <=
l_1667), (*l_2))))) | 2L) , 1L))) > (-1L)) | l_1671[0][4]), 2)) , 1UL) >
0x8FL), l_5[4][3][1], (*l_2));
l_3901 |= (safe_sub_func_int16_t_s_s(((((safe_div_func_uint64_t_u_u(_Cilk_spawn
func_6(l_12[0][3],
(safe_add_func_uint64_t_u_u(((safe_sub_func_int32_t_s_s(_Cilk_spawn
func_17(g_20[0], (safe_lshift_func_int8_t_s_u(((_Cilk_spawn
func_23(((safe_add_func_uint32_t_u_u(((l_12[0][3] | l_12[8][2]) ,
(((safe_mod_func_int32_t_s_s(_Cilk_spawn func_30(g_20[0], (0x6E31BB00L >= (l_34
& 0L)), (((safe_div_func_uint64_t_u_u(g_20[0], l_12[5][2])) , l_12[0][3]) ,
l_12[0][3])), l_2523)) , l_12[0][3]) , 0xFC5A8F50L)), l_2523)) < l_12[0][3]),
(*g_1492)) > (-1L)) ^ (*g_1492)), l_2690))), l_2690)) | 0xBE8DAE3C6AAFCCBCLL),
l_2523)), l_2523, l_12[8][3], l_2523), l_3900)) != (*g_1492)) && l_12[8][4]) ,
(**g_3267)), l_12[0][3]));
(*g_20) = _Cilk_spawn func_2(g_7, l_8, ((*l_3296) = _Cilk_spawn func_9(g_7,
((**g_2525) = (((g_15 = g_7) | (((((safe_rshift_func_int16_t_s_u(_Cilk_spawn
func_18(g_20), 7)) >=
(safe_mod_func_int64_t_s_s((safe_mod_func_uint64_t_u_u(l_3288, ((*l_3296) &=
((l_3289 ||
(safe_mul_func_int16_t_s_s(((((safe_unary_minus_func_int8_t_s(((((**g_2282) ^=
(&g_528[0][0][1] != l_3293)) , l_3294[3][1][1]) & (***l_3293)))) , (***g_243))
> (*g_2850)) > (*g_242)), l_3295))) > (***l_3293))))), (***l_3293)))) , l_3297)
, 1L) > 0x65L)) ^ l_3298)), (*g_242), (***l_3293))), l_3324);
(**g_388) = _Cilk_spawn func_8((_Cilk_spawn func_10((g_12 , g_13)) | ((0x439DL
|| 0L) ^ (((*l_1983) = g_5[g_4]) , (((~((safe_mul_func_uint16_t_u_u(g_5[g_4],
g_1613.f6)) , (((((g_161.f1 , &g_291) == l_1986) , (*l_1983)) != (*l_1983)) ||
(*g_379)))) ^ l_1987) | l_1987)))));
