I have the following sample case tested with gcov:
void main (void) { int x = 5: if ( x == 5 || x == 4 || x == 3) { printf("Hello 1\\n"