From 0e894d8508350a3690d087aaba27df6ef93442e6 Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Thu, 1 Dec 2011 10:39:43 -0700
Subject: [PATCH] Notes to self.

---
 TODO | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/TODO b/TODO
index 2ee4a6acc..2115eb977 100644
--- a/TODO
+++ b/TODO
@@ -5,6 +5,10 @@ than Csmith's developers.  It's not particularly up to date either.
 
 -------------------------------------------------------------------------------
 
+- optionally generate GCC attributes: stdcall, may_alias, ...
+
+- generate openmp pragmas 
+
 - incrementally add C++ features; which ones have high value but are
   easy to generate?
   - exceptions