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
Thank you for taking the time to report this - I had wondered about that change. I think I will back it out as the problem it was dealing with has been fixed by other means in the port layer (not yet checked in).