From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 72F565D5 for ; Sun, 24 Jan 2021 11:42:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="488721437" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jan 2021 12:42:35 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 563C6E00C7; Sun, 24 Jan 2021 12:42:35 +0100 (CET) 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 77603E00A6 for ; Sun, 24 Jan 2021 12:42:31 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Markus.Elfring@web.de; spf=Pass smtp.mailfrom=Markus.Elfring@web.de; spf=None smtp.helo=postmaster@mout.web.de IronPort-PHdr: =?us-ascii?q?9a23=3As4RH+B2UYyfONnSnsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seISLvad9pjvdHbS+e9qxAeQG9mCurQe0qGM6uigATVGvc/e9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMssQam5VuJrs+xhfXv3dDZu?= =?us-ascii?q?BayX91KV6JkBvw+8W98IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7bcNgHR2ROQ9xRWjRfDI28?= =?us-ascii?q?coUBDOQPMuhXoIbhqFUDtge+CAu2Ce/z1jNFiH370Ksn2OohCwHG2wkgEsoJvn?= =?us-ascii?q?vOttX1N7oSUfuox6fHyTXDYelW2Tb76IjHbxsspvaCUqhqccrS1EkvDBnJgFqU?= =?us-ascii?q?qYzrJTOV1+INs2eA4utuS+2gkHQrpBxvrTW2wMonl4bGiJ4PxF/e6SV53Jg6Jc?= =?us-ascii?q?e+SENjYNOoDppduSGeOoZ5TM4vQn9ktTs1xLMIu5O2fyoHxYkpyRPBd/CKbZaE?= =?us-ascii?q?7w/jWeqNPTt0mnZoda6hixqu/kWs1OvxXdS33lZStidJjMTAum4X2xDN9MSKSO?= =?us-ascii?q?Fx8lqj1DqVygzf9PlILEQ6mKbBNpIszLA9moAOvUnBHiL6gkb7gauQe0454Oan?= =?us-ascii?q?8f7nba/jppKEN497lAX+MqM2l8y6BuQ4LxQOU3KV+Ouiz7Lv51D2T6tSgv03lK?= =?us-ascii?q?nWrozaKNwFqqKkHQNZyJgv5wi9Aju8zdgVn2MLIE9bdB6fiojmIVDOIPT2Dfel?= =?us-ascii?q?hFSslS9myffcMb37AZXNM2PDnK3uc7Z55U5c0gszzdZQ559PBLAOPun8VlXsu9?= =?us-ascii?q?PGFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25id4EFSIOvxEiZO3sklyLFzBJNFioWK?= =?us-ascii?q?dpwzghC5+9RarHSJqshrPJiAKyBJ5LfSZrDl6WEHHnX5qJUbEAZXTBcYdajjUY?= =?us-ascii?q?WO35GMca3ha0uVqikuY1Hq/v4iQd8Knb+p1t/eSDxw4//3p4ApbFijzffyRPhm?= =?us-ascii?q?oNAgQO8uV/rEh6kwzR1K9ln7pHGNYV6/4bCl5rZ66Z9PRzDpXJYiyEe96ITFi8?= =?us-ascii?q?RdD2Uy48RJQ9zo1Xbg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0HQBhXA1ghwwR49RiHgEBCxIMQIFRg?= =?us-ascii?q?wptMi+EQI9BgWoIhCWGMoYoiW+BewsBAwENLAECBAEBhkQCHQcBBDcDDQIQAQE?= =?us-ascii?q?FAQEBAgEDAwQBEwEBAQwNCQgbDoVoDII4IoNDHQEBESc0AiYCbAgBAYMiglUBA?= =?us-ascii?q?zKzOIEygwUBAQaCTIIJHywiTYE7CYEOK4VmEj2HLg+BTT+BOAyCOIV3gkyCYIN?= =?us-ascii?q?EE4EfkVeMH5wGLAeBaIESBIEZC4Z8kz8FCh+DGY9uDQaPXrEeE4RsggADgWQzG?= =?us-ascii?q?iSDOFAZDY4hGoQKiiZAMzcCBgoBAQMJWQEBizoBAQ?= X-IPAS-Result: =?us-ascii?q?A0C0HQBhXA1ghwwR49RiHgEBCxIMQIFRgwptMi+EQI9BgWo?= =?us-ascii?q?IhCWGMoYoiW+BewsBAwENLAECBAEBhkQCHQcBBDcDDQIQAQEFAQEBAgEDAwQBE?= =?us-ascii?q?wEBAQwNCQgbDoVoDII4IoNDHQEBESc0AiYCbAgBAYMiglUBAzKzOIEygwUBAQa?= =?us-ascii?q?CTIIJHywiTYE7CYEOK4VmEj2HLg+BTT+BOAyCOIV3gkyCYINEE4EfkVeMH5wGL?= =?us-ascii?q?AeBaIESBIEZC4Z8kz8FCh+DGY9uDQaPXrEeE4RsggADgWQzGiSDOFAZDY4hGoQ?= =?us-ascii?q?KiiZAMzcCBgoBAQMJWQEBizoBAQ?= X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="370931598" X-MGA-submission: =?us-ascii?q?MDGwo4CHzM472eitr8NkMrePi5t0TIJKqZ9RaD?= =?us-ascii?q?psNpvjcbYDgUR6aCUkzfuD1atAgam1chC2ESL1B7sKe7IaxOkRcGt4E7?= =?us-ascii?q?Ez4NQc2CyUrfwswtSPoroLre7kZzkaQTwynkzqv4vgWPFv8Mqodem/ju?= =?us-ascii?q?NFb7mYqCFh56qRGC/3hLJQjQ=3D=3D?= Received: from mout.web.de ([212.227.17.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2021 12:42:30 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1611488550; bh=VU8uDnVAd9Xmrc7KtCPNUddvsaXoE2uT0wA/ia2G7xY=; h=X-UI-Sender-Class:To:From:Subject:Date; b=HLU7kfrHw02ETYwUUcl1tXjSnF/nkCBtwEo6t1tpxx4MN1eBgxf86vPSUwjqElZFA r2Mor5cHAgiJPve49AmGEcD6B2cJJDn7y3n1DmOfjk61KQFYtz97QaI3Y3ff4qmW7d a1RY/44dCYQhWk4miLNwBaxZCVdGQNglXIiPEIN8= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.133.175.89]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MHXxg-1l0KOv3ZAi-003LgQ for ; Sun, 24 Jan 2021 12:42:29 +0100 To: caml-list@inria.fr From: Markus Elfring Message-ID: <41485ac7-50cf-08fe-4206-b9f863c4d2f5@web.de> Date: Sun, 24 Jan 2021 12:42:23 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K1:nm72OBF4XwDTDwkZk4eoqbPq7wz4JxjMIT6ZFZNtMQe+c/mXvfa 4j1sb29JespSxTTM76JxYVNLx9YhHA+7CNk0WqoZBNzmqaw9sLvfJpmXrrkaGmaIgl/vuxC 2EWK+eVnhSgOcoewiaJ/ZAb7FMSNXszui1eI8iT5gDArTNS5yZcoz8ve4DXcj1CxVCghPff JgV/+id2n8yXmzj8cn3+Q== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:UIf3ELG4rMs=:KhlT/V0o0iszY98il2jWoF p4nKSIgwxyOiaQGgDM6/9f1eccBJCPfiWBeQc8zheW6dJ2XNru74hrbFqnqat41ery5mVw7A0 XUbzZKVVwzyr5gfwRoPbS3x5L3HEoQbZTErQk0qlTvKU1eI1jHShfPEyg+P1vhRBHR+Y6zTJ6 KRPgjqL2UIvDpGK5oeogcO8fVkv8KgMSo4j9TFHs29BnA94aPFCqWoaUdEQ/R5qsV1mPr7nle KLM4pCq1i9vUlazqCC0Kh2EAVlOGN/qGa9C3eX9PVnW4lBq6FkkVsjDDAA+Y2aanYOPVI4q9w +3t8iJ38qiJZsbuDvF0a4lit+maqjeZaSSbOaWu2nQpbEKFOIgZRd0lCwmQ4sEdXdklU2o8P5 fAxGlmxCQ8sOhrcE9AaOdw0/1H9puSX5e2yEgCiDcUZk8A4sAKFKOqtaZ8qmhW0DQOTITgSoT QnKTC/neoiMVVi3l9mhk6dl8wrO+9W7rdPKB3gWe1Cznz0dL7WQsQzkp4nztEIj8yHX632pdu hJWs0tepjFhr+E3sZcsGpIga0hDFGQ5OpoUb2kfXJPK9GFuflLjOZCz4y9BlJK+nz5rvuuf75 EAy7rgJpRBsvDVgcs3Xfqp84fV6199n++WEuhBDrcJRLO8QlF+9kOEzZCaEyxDNe24zegmLyc Jqrn797y9Fm0TzGn+DzNbj0Hlkzh/8C4Nh8a2OYt4YVjgjx7gzaNvoisLhd9VvNEf56ceQMmC EskmIeejhvf5+Lx216RKPQVGHgJx47pXiFmn48a/cCRSGi2JNN/q9I9E/hnYl9IPhDFTjuKJg BcUzLpfOVcdqYKHxVNUzIECfchXqjzQg3weeK6sOFvipHg9oP/ANDKwAIHOeUoFMjbxsaEZq4 27rvyX07zi+atBBBT7hA== Subject: [Caml-list] Detecting missed checks for error indications in ML code Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 18376 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hello, OCaml belongs also to the category of functional programming languages. Thus the last expression in a function usually becomes the result of the data processing which was specified in a ML source file. This would usually happen also if the return value from a function call indicates an error code (when a function implementation does not throw an exception according to an error situation). I got the impression that corresponding error checks can occasionally be missing. How do you think about to detect such cases by advanced source code analysis? Regards, Markus