/in/foo.cc:45:0: warning: ignoring #pragma ivdep  [-Wunknown-pragmas]
 #pragma ivdep
 
/in/foo.cc: In function 'vld_rsu validate(unsigned int)':
/in/foo.cc:70:13: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
 return S_eq == FULL ? OK : POSSI;
        ~~~~~^~~~~~~
/in/foo.cc: In function 'void dfs(unsigned int, unsigned int)':
/in/foo.cc:13:9: warning: unused variable 'u' [-Wunused-variable]
     int u = __builtin_ctz(emu); \
         ^
/in/foo.cc:83:3: note: in expansion of macro 'print_set'
   print_set(S_value, "%d, ", u);
   ^~~~~~~~~
/in/foo.cc:13:9: warning: unused variable 'u' [-Wunused-variable]
     int u = __builtin_ctz(emu); \
         ^
/in/foo.cc:85:3: note: in expansion of macro 'print_set'
   print_set(S_var, "[%d] = %d, ", u, val[u]);
   ^~~~~~~~~