<div dir="ltr">
















<p class="MsoNormal">Hi all,</p><p class="MsoNormal"><br></p>

<p class="MsoNormal"><span style="font-size:10pt">I want to get a FieldRegion when </span><span style="font-size:13px">evaluating a</span><span style="font-size:10pt"> CompoundAssignOperator. The code snippet for my test is like below:</span></p>
<p class="MsoNormal"><span style="font-size:10pt"> </span></p><p class="MsoNormal"><span style="font-size:10pt">typedef struct {</span></p><p class="MsoNormal"><span style="font-size:10pt"><span style>           </span>int a;</span></p>
<p class="MsoNormal"><span style="font-size:10pt"><span style>           </span>int *p;</span></p><p class="MsoNormal"><span style="font-size:10pt">} Obj;</span></p><p class="MsoNormal"><span style="font-size:10pt">Obj obj;</span></p>
<p class="MsoNormal"><span style="font-size:10pt">obj.a = 0;</span></p><p class="MsoNormal"><span style="font-size:10pt">obj.a += sizeof(long);</span></p><p class="MsoNormal"><span style="font-size:10pt"> </span></p><p class="MsoNormal">







































</p><p class="MsoNormal"><span style="font-size:10pt">When evaluating the statement
‘<i style>obj.a += sizeof(long);</i>’ in the
method <i style>void checkPostStmt(const
BinaryOperator *Op, CheckerContext &C) const</i>, I want to get the
FieldRegion of <i style>obj.a</i>. But I don’t
know how to get it. Is there anyone can provide me a way to get <i style>obj.a</i>’s FieldRegion? Thanks a lot. </span></p><div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div>
</div>
</div>