CWG3013 Disallowing macros for #embed parameters

Author: tkoeppe

source/preprocessor.tex

@@ -275,6 +275,11 @@
 semantics.
 
 \pnum
+If one of the \grammarterm{pp-tokens} of a \tcode{\#embed} directive
+(before macro replacement) is the \grammarterm{identifier}
+\tcode{limit}, \tcode{prefix}, \tcode{suffix}, or \tcode{if_empty}
+and that \grammarterm{identifier} is defined
+as a macro\iref{cpp.replace.general}, the program is ill-formed.
 Any \grammarterm{embed-prefixed-parameter} is conditionally-supported,
 with \impldef{supported forms of \#embed prefix parameters} semantics.
 
@@ -523,6 +528,13 @@
 \tcode{defined}
 unary operator),
 just as in normal text.
+If replacement of macros in the preprocessing tokens following the sequence
+\tcode{\xname{has_embed} (} and before a matching \tcode{)}
+(possibly produced by macro expansion)
+encounters a preprocessing token that is one of the \grammarterm{identifier}s
+\tcode{limit}, \tcode{prefix}, \tcode{suffix}, or \tcode{if_empty}
+and that \grammarterm{identifier} is defined
+as a macro\iref{cpp.replace.general}, the program is ill-formed.
 If the preprocessing token
 \tcode{defined}
 is generated as a result of this replacement process