title: Isn't this else redundant?
body: <p>Is there any reason to write:</p>
  
  <pre><code>double pop(void)
  {
      if (sp &gt; 0)
          return val[--sp];
      else {
          printf("error: stack empty\n");
          return 0.0;
      }
  }
  </code></pre>
  
  <p>instead of:</p>
  
  <pre><code>double pop(void)
  {
      if (sp &gt; 0)
          return val[--sp];
  
      printf("error: stack empty\n");
      return 0.0;
  }
  </code></pre>
  
  <p>apart from style? Won't the <code>return</code> stop the function?</p>