<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Is the DeclRefExpr for __spec_mode pointing to a valid VarDecl?
Would this VarDecl be encountered previously during analysis in
order to populate TransferFunctions::vals()? Dunno if that makes
sense, i didn't really look at this analysis.<br>
<br>
I guess i want to look at your full -ast-dump. It seems that you are
not only adding a new Stmt kind, but also you're getting into
business of auto-generating AST made of some regular nodes, probably
as its children. This is often hard because it's very easy to break
invariants that the normal AST obeys and there's no way to verify
those invariants other than seeing how everything crashes and
debugging.<br>
<br>
<div class="moz-cite-prefix">On 9/24/18 4:43 AM, João Paulo
Labegalini de Carvalho via cfe-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAGjvy2-2T+mS6m9vMJdDhW_L6nLsWz2vk6NmUtZBVZnZzRjwYw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">You are right, I should have been more specific.
In my case crashing means segmentation fault inside runOnBlock
function (lib/Analysis/UninitializedValues.cpp).<br>
<br>
Please find the stack trace attached.</div>
<br>
<div class="gmail_quote">
<div dir="ltr">On Mon, Sep 24, 2018 at 4:09 AM Csaba Raduly
<<a href="mailto:rcsaba@gmail.com" moz-do-not-send="true">rcsaba@gmail.com</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Hi João
Paulo,<br>
<br>
<br>
On Sun, Sep 23, 2018 at 11:39 PM, João Paulo Labegalini de
Carvalho<br>
via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org"
target="_blank" moz-do-not-send="true">cfe-dev@lists.llvm.org</a>>
wrote:<br>
> Hi,<br>
><br>
> I have implemented a new Stmt in clang which given<br>
><br>
> __speculate {<br>
> // user code<br>
> }<br>
><br>
> generates LLVM IR equivalent to as if the following
code was given:<br>
><br>
...<br>
><br>
> However, if UninitializedVariablesAnalysis is enabled,
clang crashes at<br>
> runOnBlock function
(lib/Analysis/UninitializedValues.cpp). If I disable it<br>
> via -Wno-uninitialized, the code generated runs
flawlessly and works as<br>
> expected.<br>
<br>
"crash" is a meaningless term. Does it generate an access
violation,<br>
an assertion failure, or something else?<br>
What was the error message? Is there a stack trace?<br>
<br>
<br>
Csaba<br>
<br>
-- <br>
You can get very substantial performance improvements<br>
by not doing the right thing. - Scott Meyers, An Effective
C++11/14 Sampler<br>
So if you're looking for a completely portable, 100%
standards-conformat way<br>
to get the wrong information: this is what you want. - Scott
Meyers (C++TDaWYK)<br>
</blockquote>
</div>
<br clear="all">
<div><br>
</div>
-- <br>
<div dir="ltr" class="gmail_signature"
data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div>João Paulo L. de Carvalho<br>
Computer Science | IC-UNICAMP | Campinas , SP -
Brazil</div>
<div><a href="mailto:jaopaulolc@gmail.com"
target="_blank" moz-do-not-send="true">jaopaulolc@gmail.com</a></div>
<div><a href="mailto:joao.carvalho@ic.unicamp.br"
target="_blank" moz-do-not-send="true">joao.carvalho@ic.unicamp.br</a><br>
<a href="mailto:j160924@dac.unicamp.br"
target="_blank" moz-do-not-send="true">j160924@dac.unicamp.br</a></div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>