Your latest changes to vTaskDelete with
commit id 1848 do produce a warning about a possible
endless loop when using the TASKING C compiler.
Please apply the patch
For ports that do not supply a definition of portNOP,
you might need to add a null definition, like the one for
portNUM_CONFIGURABLE_REGIONS in portable.h.