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).
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.