#1677: Support attribute((nonnull)), attribute((returns_nonnull)) --------------------------+------------------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: review Priority: major | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: --------------------------+-------------------------------------------------
Comment (by eschnett):
Pull request is at <https://bitbucket.org/cactuscode/cactus/pull-request/1 /support-attribute-nonnull>.