我对我的代码有疑问。这是我对KNK的C Programming a Modern Approach（第2版）第10章中的项目1的回答。
这个问题要求我们写一个堆栈来查看一系列括号和/或大括号是否正确嵌套。这个问题明确地要求学生修改10.2中的代码-这是本章的前一部分。我的编译器给了我错误warning control may not reach end of non-void function。编译器引用char pop(void)函数的调用。
我唯一的问题是我看不出有什么不对

char pop(void)
{
  if (is_empty())
     stack_underflow();
  else
    return contents[--top];
}

如果堆栈指针返回到零，则程序终止，如果不是，则返回一个字符，即contents[--top]。不仅如此-这正是10.2节中的示例指导学生编写pop函数的方式。因此，这似乎表明KNK弄错了，除非这是一个新版本的C（这本书使用C99）的问题。很明显我漏掉了什么。
因此，我甚至不确定我现在的代码是否正确，因为我甚至不能首先运行它。
如果你能告诉我哪里做错了，我会很感激的。

#include <stdio.h>
#include <stdbool.h>
#include <stdlib.h>

#define STACK_SIZE 100

/* function declarations */
bool is_empty(void);
bool is_full(void);
void push(char);
char pop(void);
void stack_overflow();
void stack_underflow();

/* external variables */
char contents[STACK_SIZE] = {0};
int top = 0;

int main(void)
{ 
  char ch;
  
  printf("Enter parentheses and/or braces: ");
  scanf("%c", &ch);
  
  while(ch != '\n')
  { 
    if(ch == '{' || ch == '(')  push(ch);
    else if(ch == '}' && pop() != '{')
    { 
      printf("Parentheses/braces are not nested properly\n");
      return 0;
    }
    else if(ch == ')' && pop() != '(')
    { 
      printf("Parentheses/braces are not nested properly\n");
      return 0;
    }
    scanf("%c", &ch);
  }
  
  if(is_empty())
    printf("Parentheses/braces are nested properly\n");
  else
    printf("Parentheses/braces are not nested properly\n");

  return 0;
}

bool is_empty(void)
{
  return top == 0;
}

bool is_full(void)
{
  return top == STACK_SIZE;
}

void push(char ch)
{
  if (is_full())
    stack_overflow();
  else
    contents[top++] = ch;
}

char pop(void)
{
  if (is_empty())
     stack_underflow();
  else
    return contents[--top];
}

void stack_overflow(void)
{
  printf("Stack overflow\n");
  exit(0);
}

void stack_underflow(void)
{
  printf("Parentheses/braces are not nested properly\n");
  exit(0);
}