Spurious type error for a configurably declared and configurably used function

[julianbraha]

In the example below, returnsOne() is only declared and used when CONFIG_ONE is defined, but SugarC still reports a type error when it is used.

#ifdef CONFIG_ONE 
int returnsOne() {
  return 1;
}
#endif
/*
int returnsZero(int input) {
  if (input == 1)
    return 0;

  else 
    return returnsZero(input - 1);
}
*/

int func(int input) {
  int x = 1;
/*
  if (2 < 3) {
    x++;
  }
*/
  #ifdef CONFIG_ONE
  if (!returnsOne()) {
    x = 4;
  }
  #endif
/*
  if (returnsZero(2)) {
    x--;
  }
*/

}

int main(void) {

  return func(2);

}