<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">The current way of bug reporting:<div>---</div><div><div>1 Assuming 'i' is not equal to 1</div><div>----</div><div>2 Assuming 'i' is not equal to 2</div><div>3 Taking false branch</div><div>4 Taking false branch</div><div>---</div></div><div><br></div><div>If I would like to hook extra information in the linear backwards way, this is going to be like the following:</div><div>---</div><div><div>1 Assuming 'i' is not equal to 1</div><div>----</div><div>2 Knowing 'i' is not equal to 2</div><div>3 Knowing 'i' is not equal to 1</div><div>4 Assuming 'i' is not equal to [1, 2]</div><div>---</div></div><div><br></div><div>And actually the proper approach would be:</div><div>---</div><div><div>1 Assuming 'i' is not equal to 1</div><div>---</div><div>2 Assuming 'i' is not equal to 2</div><div>3 Knowing 'i' is not equal to [1, 2]</div><div>4 Knowing 'i' is not equal to [1, 2]</div><div>---<br></div></div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr">George Karpenkov <<a href="mailto:ekarpenkov@apple.com">ekarpenkov@apple.com</a>> ezt írta (időpont: 2018. nov. 16., P, 19:04):<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Going forward is ambiguous, as there are many leafs, but only one root.<br>
What are you trying to achieve? Going backwards should never be a problem.<br>
<br>
> On Nov 16, 2018, at 8:21 AM, Csaba Dabis via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:<br>
> <br>
> Hello!<br>
> <br>
> Why does the 'generateVisitorsDiagnostics()' function in BugReporter.cpp work backwards? It starts from the node of the error and iterate over the preds.<br>
> <br>
> I have tried to make it to work forward with storing the 'const ExplodedNode *' nodes in a vector, but 'auto P = V->VisitNode(NextNode, BRC, *R);' crashes. I just found out the 'LastPiece' checking could be moved out from the while-loop, that is it for now.<br>
> <br>
> Is it possible to achieve? What is could be problematic with that code snippet?<br>
> <br>
> Thanks you for the suggestions,<br>
> Csaba.<br>
> _______________________________________________<br>
> cfe-dev mailing list<br>
> <a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
<br>
</blockquote></div>