From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <elfring@users.sourceforge.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 614A77F02D
	for <caml-list@sympa.inria.fr>; Mon,  6 Oct 2014 22:50:49 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  elfring@users.sourceforge.net) identity=pra;
  client-ip=212.227.15.14;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="elfring@users.sourceforge.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  elfring@users.sourceforge.net) identity=mailfrom;
  client-ip=212.227.15.14;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="elfring@users.sourceforge.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.web.de) identity=helo;
  client-ip=212.227.15.14;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="elfring@users.sourceforge.net";
  x-sender="postmaster@mout.web.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkUBAE4AM1TU4w8OnGdsb2JhbABfg2FYzCSHQwoCgQYWAREBAQEBAQYNCQkULIQEAQEDAXgBBQsLIRYPCQMCAQIBRQYNAQcBAYgyDAmuNpJ4ARMEkEUHhEsBBJYwhw6BLYYZEwWHEYp2aoJKAQEB
X-IPAS-Result: AkUBAE4AM1TU4w8OnGdsb2JhbABfg2FYzCSHQwoCgQYWAREBAQEBAQYNCQkULIQEAQEDAXgBBQsLIRYPCQMCAQIBRQYNAQcBAYgyDAmuNpJ4ARMEkEUHhEsBBJYwhw6BLYYZEwWHEYp2aoJKAQEB
X-IronPort-AV: E=Sophos;i="5.04,665,1406584800"; 
   d="scan'208";a="82183016"
Received: from mout.web.de ([212.227.15.14])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Oct 2014 22:50:48 +0200
Received: from [192.168.1.2] ([78.48.225.254]) by smtp.web.de (mrweb001) with
 ESMTPSA (Nemesis) id 0MEEMy-1XQJ0p0Ajg-00FVma; Mon, 06 Oct 2014 22:50:47
 +0200
Message-ID: <543300A1.8040507@users.sourceforge.net>
Date: Mon, 06 Oct 2014 22:50:41 +0200
From: SF Markus Elfring <elfring@users.sourceforge.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.2
MIME-Version: 1.0
To: =?ISO-8859-15?Q?Fr=E9d=E9ric_Bour?= <frederic.bour@lakaban.net>
CC: caml-list@inria.fr
References: <54101221.3010304@users.sourceforge.net> <1410348425.3003.11.camel@thinkpad> <5410BB11.2070406@users.sourceforge.net> <5411533C.6060802@inria.fr> <5411590D.2050508@users.sourceforge.net> <54115C33.4050408@inria.fr> <54115E56.5080208@users.sourceforge.net> <54115FA4.3050904@lakaban.net>
In-Reply-To: <54115FA4.3050904@lakaban.net>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID:  V03:K0:ycDgwCA8LqfdfMjc+5OE1o6lPElGO5IC91OW1xprGKN8iiuV1ZR
 U4xESJncKgqqYy2diojbVi6enOvoAnuommWOMO/odWhMZoBQlreAQP4BGyxqgNDvdOirmPH
 Y9hJWquqjZfptlpwyaCqeXujjiznMJvA9KJb4UFfCaMYDjTzBnM2H+RzLTDlBkP3FPmcu/8
 ECqX8ePp5O4QVyIAdwtIg==
X-UI-Out-Filterresults: notjunk:1;
Subject: Re: [Caml-list] Clarification for the configuration of comparison
 functions

> The cmp value is threaded but never used. It is a mistake.

Would you like try my software update out?
https://github.com/elfring/OTCL/releases/tag/v1.2

Do you know any dedicated tool which can find such an issue by a static source
code analysis?

Regards,
Markus