<div dir="ltr">Hi Erich, do you mean that ExternalSourceSymbol has extra parsing moves to handle the syntax key="value"?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 10, 2020 at 8:57 PM Keane, Erich <<a href="mailto:erich.keane@intel.com">erich.keane@intel.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="EN-US">
<div class="gmail-m_-4913340060144122433WordSection1">
<p class="MsoNormal">checkAttributeAtLeastNumArgs /checkAttributeAtMostNumArgs returns false on error.  In your code, you are ensuring that there is at least 1, but no more than 3 arguments.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">SO, you have only made sure that you have 1, 2, OR 3 arguments. 
<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">When you attempt to get the 2<sup>nd</sup> argument (AL.getArgAsExpr(1), BUT only have a single argument, you get an assertion, because there IS NOT a 2<sup>nd</sup> argument.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">In your attempt to use a designated initializer type signature (Type=”int”), you get the error because your argument list in the MEItem Attr.td entry you’ve said that you take only strings.  You’d likely have to do some custom parsing to
 make that syntax work.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><b>From:</b> cfe-dev <<a href="mailto:cfe-dev-bounces@lists.llvm.org" target="_blank">cfe-dev-bounces@lists.llvm.org</a>> <b>On Behalf Of
</b>Yafei Liu via cfe-dev<br>
<b>Sent:</b> Monday, August 10, 2020 5:23 AM<br>
<b>To:</b> Clang Dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>><br>
<b>Subject:</b> [cfe-dev] custom attribute crashed due to "Arg access out of range"<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">I'm adding a custom attribute followed by this <a href="http://clang.llvm.org/docs/InternalsManual.html#how-to-add-an-attribute" target="_blank">http://clang.llvm.org/docs/InternalsManual.html#how-to-add-an-attribute</a>, here's my def:<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">def MEItem : InheritableParamAttr {<br>
  let Spellings = [CXX11<"me", "type">, C2x<"me", "type">];<br>
  let Args = [StringArgument<"Type", 1>, StringArgument<"Getter", 1>, StringArgument<"Setter", 1>];<br>
  let Subjects = SubjectList<[Field]>;<br>
  let Documentation = [Undocumented];<br>
}<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I just copied what ExternalSourceSymbol does, so the handling code is like this:<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">static void handleMEItemAttr(Sema &S, Decl *D, const ParsedAttr &AL) {<br>
  if (!checkAttributeAtLeastNumArgs(S, AL, 1))<br>
    return;<br>
  assert(checkAttributeAtMostNumArgs(S, AL, 3) &&<br>
         "Invalid number of arguments in an item attribute");<br>
<br>
  StringRef Type;<br>
  if (const auto *SE = dyn_cast_or_null<StringLiteral>(AL.getArgAsExpr(0)))<br>
    Type = SE->getString();<br>
<br>
  StringRef Getter;<br>
  if (const auto *SE = dyn_cast_or_null<StringLiteral>(AL.getArgAsExpr(1)))<br>
    Getter = SE->getString();<br>
<br>
  StringRef Setter;<br>
  if (const auto *SE = dyn_cast_or_null<StringLiteral>(AL.getArgAsExpr(2)))<br>
    Setter = SE->getString();<br>
<br>
  D->addAttr(::new (S.Context) MEItemAttr(S.Context, AL, Type, Getter, Setter));<br>
}<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">but if I use this attribute in my code, for example [[me::type("int")]], the code crashed at AL.getArgAsExpr(1): <u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">clang::ArgsUnion clang::ParsedAttr::getArg(unsigned int) const: Assertion `Arg < NumArgs && "Arg access out of range!"' failed.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">then I tried this: [[me::type(Type="int", Getter="xxx", Setter="xxx")]]<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">error: use of undeclared identifier 'Type' [[me::type(Type="int", Getter="xxx", Setter="xxx")]]<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">So what did I miss?<u></u><u></u></p>
</div>
</div>
</div>
</div>

</blockquote></div>