From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p18AqFjs029473 for ; Tue, 8 Feb 2011 11:52:15 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8AAOOuUE3RVdy+mGdsb2JhbACXDo4VCBUBAQEBAQgJDAcRJKFdigyHCC+IXoVaBIR7gj2MYDo X-IronPort-AV: E=Sophos;i="4.60,441,1291590000"; d="scan'208";a="75541264" Received: from mail-vx0-f190.google.com ([209.85.220.190]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 08 Feb 2011 11:52:09 +0100 Received: by vxa42 with SMTP id 42so1655749vxa.27 for ; Tue, 08 Feb 2011 02:52:08 -0800 (PST) Received: by 10.220.100.202 with SMTP id z10mr1060860vcn.8.1297162328371; Tue, 08 Feb 2011 02:52:08 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Tue, 8 Feb 2011 02:52:08 -0800 (PST) In-Reply-To: Reply-To: fa.caml@googlegroups.com Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=138.37.88.134; posting-account=e5mzsQoAAAB7g9y7Bkgam0zJDHRr7bCB NNTP-Posting-Host: 138.37.88.134 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: From: Radu Grigore To: fa.caml@googlegroups.com Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] unused function detection Is there a tool that finds unused functions? It seems there was none in 2004: https://groups.google.com/d/topic/fa.caml/D8aWkamzr-U/discussion