From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Emacs contributions, C and Lisp Date: Fri, 09 Jan 2015 10:48:39 +0200 Message-ID: <83egr45ogo.fsf@gnu.org> References: <83bnxuzyl4.fsf@gnu.org> <8761nusb90.fsf@uwakimon.sk.tsukuba.ac.jp> <87vbkovhh7.fsf@engster.org> <87387rvobr.fsf@engster.org> <83ppat84hk.fsf@gnu.org> <20150106143933.0090bc83@jabberwock.cb.piermont.com> <83r3v77ij6.fsf@gnu.org> <20150106154539.3d0752c4@jabberwock.cb.piermont.com> <87wq4ype3z.fsf@fencepost.gnu.org> <878uherlf3.fsf@wanadoo.es> <20150108194342.1bd83ed1@jabberwock.cb.piermont.com> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: ger.gmane.org 1420793607 8880 80.91.229.3 (9 Jan 2015 08:53:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 9 Jan 2015 08:53:27 +0000 (UTC) Cc: ofv@wanadoo.es, rms@gnu.org, emacs-devel@gnu.org To: "Perry E. Metzger" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 09 09:53:19 2015 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Y9VFg-0002Qh-EI for ged-emacs-devel@m.gmane.org; Fri, 09 Jan 2015 09:49:04 +0100 Original-Received: from localhost ([::1]:49535 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VFf-0003As-RS for ged-emacs-devel@m.gmane.org; Fri, 09 Jan 2015 03:49:03 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57293) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VFH-0002uQ-A2 for emacs-devel@gnu.org; Fri, 09 Jan 2015 03:48:49 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y9VF2-0008Rf-NF for emacs-devel@gnu.org; Fri, 09 Jan 2015 03:48:39 -0500 Original-Received: from mtaout21.012.net.il ([80.179.55.169]:57377) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VF2-0008R5-Cm; Fri, 09 Jan 2015 03:48:24 -0500 Original-Received: from conversion-daemon.a-mtaout21.012.net.il by a-mtaout21.012.net.il (HyperSendmail v2007.08) id <0NHW00M00IWSQJ00@a-mtaout21.012.net.il>; Fri, 09 Jan 2015 10:48:22 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout21.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NHW00M3TJ4MIG90@a-mtaout21.012.net.il>; Fri, 09 Jan 2015 10:48:22 +0200 (IST) In-reply-to: <20150108194342.1bd83ed1@jabberwock.cb.piermont.com> X-012-Sender: halo1@inter.net.il X-detected-operating-system: by eggs.gnu.org: Solaris 10 X-Received-From: 80.179.55.169 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:181095 Archived-At: > Date: Thu, 8 Jan 2015 19:43:42 -0500 > From: "Perry E. Metzger" > Cc: =D3scar Fuentes , emacs-devel@gnu.org >=20 > 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 th= e > last call to foo(), and if not, bracket the variable it was assigne= d > to in the following if statement...". Can you show a concrete example of such refactoring? TIA