Re: Another small problem of CC Mode

[Alfred M. Szmidt]

   Of course, this is rare.  But will making CC Mode detect this
   situation and behave in a right way need much effort?

Not exactly the answer you are looking for, but reorganising your code
in the following manner would make CC mode behave properly.

#ifdef M1
extern void g(void);
# define M g
#else 
extern void h(void);
# define M h
#endif

int
f(void)
{
  do {
  } while (M());
}

Happy hacking.