#1639: CCTK_ATTRIBUTES -----------------------+---------------------------------------------------- Reporter: anonymous | Owner: jtao Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: development version Keywords: | -----------------------+---------------------------------------------------- In CommOverloadables.h
#define ATTRIBUTES CCTK_ATTRIBUTE_NORETURN OVERLOADABLE(Exit) OVERLOADABLE(Abort)
Exit and Abort are defined as functions returning an integer, but they are explicitly set with noreturn in CommOverloadables.h.
This will also cause a warning for CCTK_VError (was set attribute as no return in the definition too), which calls CCTK_Abort that returns an integer.
#1639: CCTK_ATTRIBUTES ------------------------+--------------------------------------------------- Reporter: anonymous | Owner: jtao Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: ------------------------+---------------------------------------------------
Comment (by eschnett):
Exit and Abort never return; we should correct their return types.
#1639: Exit and Abort have return types which conflict with their NORETURN attributes ------------------------+--------------------------------------------------- Reporter: anonymous | Owner: jtao Type: defect | Status: confirmed Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: ------------------------+--------------------------------------------------- Changes (by hinder):
* status: new => confirmed
trac@lists.einsteintoolkit.org