X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=utils%2Fllvm.grm;h=d65f075076cf8ef8eb4c064a8cece328c5d40acf;hb=7a88b655ccad0f128ea1a5e8ca433a8827a24ff3;hp=f97c0d147ae7c22e1933761619c090c14b75b6c6;hpb=a2858527d7a8b4b3f2cb31b7c1d056bc43341056;p=oota-llvm.git

diff --git a/utils/llvm.grm b/utils/llvm.grm
index f97c0d147ae..d65f075076c 100644
--- a/utils/llvm.grm
+++ b/utils/llvm.grm
@@ -9,7 +9,6 @@ IR that is semantically valid. Most of the IR produced doesn't
 pass the Verifier.
 
 TODO: Metadata, in all its forms
-TODO: Union types
 
 *)
 
@@ -173,6 +172,11 @@ FuncAttr      ::= noreturn
  | optsize
  | ssp
  | sspreq
+ | returns_twice
+ | nonlazybind
+ | sanitize_address
+ | sanitize_thread
+ | sanitize_memory
  ;
 
 OptFuncAttrs  ::= + _ | OptFuncAttrs FuncAttr ;