[llvm-commits] [Review] Attributes Documentation

[Sean Silva]

+define void @f() #0 #1 { ... }

do we have a production covering the usage of #<n> in this position?
It says "they are space separated", but is there somewhere where this
is actually in a production? The rough production for function
definitions just says "[fn_Attrs]".

+<p>N.B. It's an error for a function to reference two attribute groups which
+   have conflicting attributes. For example, this code is invalid
+   because <tt>noinline</tt> (in attribute group <tt>#0</tt>)
+   and <tt>alwaysinline</tt> (in attribute group <tt>#1</tt>) are mutually
+   exclusive:</p>

by "it is an error" does this mean that the compiler might do
unexpected things (possibly silently), or that the compiler (or
language processor, or whatever) will cleanly diagnose the situation
and refuse to proceed? If it is the former, you might want to bump
this from "N.B." to "Warning".

-- Sean Silva

On Tue, Dec 4, 2012 at 5:56 PM, Bill Wendling <wendling at apple.com> wrote:
> Hi all,
>
> This is the language reference patch for the new attributes rewrite. Please review and give feedback!
>
> Cheers!
> -bw
>
>
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>