по поводу вложений - так же как и везде, на сколько стека хватит. По поводу реентерабельности - это вообще зависит не от компилятора, а от программиста .. если подразумеваем нормальный программный стек.
Кстати именно поэтому все порты вытесняющих RTOS для PIC18 сделаны под MCC18 компилер - потому что стек там программный организован.
В более популярном HI-TECH PICC18 используется модель, которуй обозначил FDA - для адресов возврата юзается аппаратный стек, а для локальных переменных и передачи параметров - near область памяти, к всегда имеется прямая адресация. За счет этого HT PICC18 делает(лал) более компактный и быстрый код.
Но сейчас объемы флеши и ОЗУ на чипе растут, а с выходом MCC18 3.0 разница по коду и скорости стала не такой большой. А если активно использовать указатели и вызовы функций по указателям, то MCC18 даже наверное выиграет.
Но с появлением PIC24 все это уже не интересно...