Re: Emacs contributions, C and Lisp

[Eli Zaretskii]

> Date: Thu, 8 Jan 2015 19:43:42 -0500
> From: "Perry E. Metzger" <address@hidden>
> Cc: Óscar Fuentes <address@hidden>, address@hidden
> 
> There are refactorings that are impossible without statement level
> structure, such as semantic patches, that is, refactorings that are
> aware of higher level information such as "has this value that
> resulted from bar() being called been checked against NULL since the
> last call to foo(), and if not, bracket the variable it was assigned
> to in the following if statement...".

Can you show a concrete example of such refactoring?

TIA