summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-04-25 09:31:55 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-04-25 09:31:55 +0000
commit9636193eabc1f91bce700991783a3b5902a40bad (patch)
treead93d662cb6695fe65a8c2a596d40bc655ffca73 /TODO
parent05c5b20719a2b459fc191bf15d27b9b96457aff6 (diff)
downloadmpfr-9636193eabc1f91bce700991783a3b5902a40bad.tar.gz
[TODO] Update about GCC's nonnull and returns_nonnull attributes.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13469 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'TODO')
-rw-r--r--TODO3
1 files changed, 2 insertions, 1 deletions
diff --git a/TODO b/TODO
index fdec53051..6a5428d38 100644
--- a/TODO
+++ b/TODO
@@ -627,7 +627,8 @@ Table of contents:
constants) because we do not have the control of memory allocation for
mpz_init.
-- use GCC's nonnull and returns_nonnull attributes where applicable.
+- use GCC's nonnull (available since GCC 4.0) and returns_nonnull
+ (available since GCC 4.9) attributes where applicable.
##############################################################################