<div dir="ltr"><div>Hi!<br></div><div><br></div><div>Just a quick one -- I want to generalize NoStoreFuncVisitor to be able to construct messages such as "Returning without deallocating or changing the ownership of allocated memory". The grand idea is to create a NoStateChangeFuncVisitor base class that can be specialized for what a (lack of a) state change is.</div><div><br></div><div>Are there any similar ongoing efforts or shall I proceed?</div><div><br></div><div>Cheers,</div><div>Kristóf</div></div>