-
Andre Maroneze authored
Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
Andre Maroneze authoredSome case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
enum.h 239 B
enum e {E1, E2};
#ifndef V
enum f {F11, F12};
enum {K11, K12};
enum {U1,U2}; // unused, but changes the anonymous enum counter between the two files involved in the test
#else
enum f {F21, F22};
enum {K21, K22};
#endif
enum { I1, I2};