Непонятки с функционалом

Не во всем согласен.
Во-первых, в том примере, который я привел, строка b-- - это именно "never reached". Два ретурна в условном операторе проверить довольно просто. Поверьте, я не высасываю из пальца - я писал компиляторы... Для этого даже не нужно специальных ухищрений - все само всплывет на этапе семантического анализа (а при использовании некоторых способов - даже на этапе синтаксического анализа).
А во-вторых, что касается избыточности кода (опять же, что понимать под этом термином ), то существуют и на это способы оптимизации (например, см. http://www.codenet.ru/progr/optimize/ccode.php). Вот пример из статьи с удалением "лишнего" цикла (компилятором):

   int x;

       x = 0;
       for( i = 0; i < 5; i++ )  /* Цикл не должен генерироваться*/
           k5 = x + j5;

Хотя, абсолютно согласен, что вообще-то оптимизация - это уже забота программиста.