/* { dg-options "-O3" } */ int get_state(int size, int *node, int *hash) { int i=0; while(hash[i]) { if(node[hash[i]] == 0) return hash[i]-1; i++; if(i==5) i=0; } return -1; } void foo (int); int gate1(int size, int *node, int *hash) { int i, j ; int add_size=0; for(i=0; i