<div dir="ltr"><div dir="ltr"><div dir="ltr">Hello!<div><br></div><div>Why does the 'generateVisitorsDiagnostics()' function in BugReporter.cpp work backwards? It starts from the node of the error and iterate over the preds.<br></div><div><br></div><div>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.</div><div><br></div><div>Is it possible to achieve? What is could be problematic with that code snippet?</div><div><br></div><div>Thanks you for the suggestions,</div><div>Csaba.</div></div></div></div>