From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 3D29A800DB for ; Fri, 10 Mar 2017 18:05:04 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.220.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.220.169 as permitted sender) identity=mailfrom; client-ip=209.85.220.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f169.google.com) identity=helo; client-ip=209.85.220.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qk0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AN9pf6h1qhFyzIXsismDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIeKvad9pjvdHbS+e9qxAeQG96KtrQY26GH6OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhDexe7x/IRa5oQjVuMQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpsRxH1lS?= =?us-ascii?q?cHLCY5/3/LhcxsgqxbpxehqAZ+w47SfYqZMPVzc6fYcd4cWGFPXNteVzZZD4y+?= =?us-ascii?q?YYsBD+QPM+VFoYfju1QDtge+CRW2Ce/z1jNEmn370Ksn2OohCwHG2wkgEsoPvn?= =?us-ascii?q?vOt9r1LqYSXv6xzKLV0DvMc/NW1inn6IfWaBAqvPaBXb1qfsXK00kvFh3KjlGK?= =?us-ascii?q?pYz+IzyV1voCs3KF4Op6Tu+vhGsnpBtwojir3Msjlo7JhocMx13C6C53zoE1Jd?= =?us-ascii?q?iiR056Z96pCJxQtzuAO4RqQ8IuW2BouCAgyr0Ho5G3ZiYKyI4/yx7QavyHb4iI?= =?us-ascii?q?4g/4W+qLPTh4g3dldKq/hhmo8Uigzer8WtOo31ZNqypIlMTHuHMV1xHL9MSLVv?= =?us-ascii?q?9w8l2i1DuPzQzf9P9ILVwumabGKpMsxrg9nYcJv0vZBC/5gkD2gbeWdko6/uio?= =?us-ascii?q?7PzqYrD8qZ+dM494kxj+MqcylsCmD+Q0LwkDUmyB9eSz073j+kL5QLFUgfEsjq?= =?us-ascii?q?bZt5XaKdwapq6/HQBVzp4u5wijAzqiytgVnnkKIEhbdB6Zk4TlIUzCLfH8APun?= =?us-ascii?q?hlSjijZrx/TIPr37BZXNK2DOkLj7crlm8U5cyRQ8zdRF65JPFr4BIOz8WlXvu9?= =?us-ascii?q?zCFRI5PAm0zPzmCNV5zI8RRWWPAqqBPKPIrVCI/v4vI/WLZIINpDnyMf0l5/r3?= =?us-ascii?q?gX89mF8dZrWp0IAMaHG4G/RmO1+WbWDtgtcHC2cKvxAxQPbkiF2YAnZvYCP4du?= =?us-ascii?q?R0wzY8QsryCIDEXYexi5SO2S66GttdYWUQWX6WFnK9WIyOQfYBbGqpKc9siDEe?= =?us-ascii?q?HeyuQoU71Byq8hTxy7d9I/D89SgRtJal399wsb6A3Sou/CB5WpzOm1qGSHt5yz?= =?us-ascii?q?9ZSg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DaAAAb3MJYf6ncVdFdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBg0g/eBIHg1mKDpFQgjqRYoEcgg4qhXgCgjoHPxg?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQkLCwgmMYIzCoJZAQIDIx0BGxILAQMMBgULDQICCRoDA?= =?us-ascii?q?gIhAQERAQUBCgERBhMSiVUBAxUOpSM/jAOCBAUBHIMJBYNiChknAwpVgk4BAQE?= =?us-ascii?q?BAQEBAwEBAQEBAQEZAgYSeYVDhG+CUSWBMBEBgyKCXwWHPwyJDYsqOoIDhHOHF?= =?us-ascii?q?4Qrgk+OVYpUhyQUH4EVH4EzCCIWH1QXhC+CLSI1h2yCLgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DaAAAb3MJYf6ncVdFdGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBg0g/eBIHg1mKDpFQgjqRYoEcgg4qhXgCgjoHPxgBAQEBAQEBAQEBA?= =?us-ascii?q?RIBAQkLCwgmMYIzCoJZAQIDIx0BGxILAQMMBgULDQICCRoDAgIhAQERAQUBCgE?= =?us-ascii?q?RBhMSiVUBAxUOpSM/jAOCBAUBHIMJBYNiChknAwpVgk4BAQEBAQEBAwEBAQEBA?= =?us-ascii?q?QEZAgYSeYVDhG+CUSWBMBEBgyKCXwWHPwyJDYsqOoIDhHOHF4Qrgk+OVYpUhyQ?= =?us-ascii?q?UH4EVH4EzCCIWH1QXhC+CLSI1h2yCLgEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,141,1486422000"; d="scan'208";a="216333137" Received: from mail-qk0-f169.google.com ([209.85.220.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Mar 2017 18:05:03 +0100 Received: by mail-qk0-f169.google.com with SMTP id y76so177047107qkb.0 for ; Fri, 10 Mar 2017 09:05:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=GVhWhrjFiDPVyJwZnzzhsw/3G/ovUFy1vVZr/LX37WE=; b=Ci/Zwehd3LMiVW+WIkm4MRBZ18zMhIbsSmcRfFpGTkkwLROQXzGP6XxIr4uquQAG8+ gJdfCPVimZUkKO4DC9yBlZxUMStRD0PWQvS8KQKszZ+P/DK/KiDElY+sg/LhoS+gbN3L 0Qn6gudOXJR2KKiCn2vGch80dAv3E43/moZ6eab7ALA87PRw1nf/Kln24g9UjqMcNHYK w0jPBOcXokjAZQRADfAXq5V2Q3E3lqLHYIYB03VrDYiJpSoOB7a33SbM5NlsnfdfAwkg uSFSQVpAfvaNUcqIJqELJbWK+0wPbq3n9TTTLr+ZB5jNmoTWGPLqAyhbd/MDZkbViSue fcxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=GVhWhrjFiDPVyJwZnzzhsw/3G/ovUFy1vVZr/LX37WE=; b=Kv2WTIZTUGHSWH0KwD5WjGPzFC0ETWj60H+PIuC4GCX9lEHT5DMPdg6S5NNGq5eyQt vRipLFPGgW0NFP9MDbOt57WkoSUz4ORNAmiNbEVk81Pk2hyXKIfv1Dydp1Q7XiD4zcOD 5aU3NZi/VyG3NQ/79oCT+DW0DDez/pf2V1jxDUh1VuRokrkD5G58/W0NE5v+XdvJaW23 /dCvBYtFqdYoKqEnye8R5FEtJQDjYSDFI8ipCb1Zo4L1dVNw4JPmcDAv0XCjR8t/6Doq 3TzSIZQKt3BTTnd70y8bY6LLogANMBk/ALBNBFsbo/O0Bk8L9An/Lnhtd0IeTvIndhwV SUZA== X-Gm-Message-State: AMke39m5vMtm/g4nv+m866zIelMKHdch73idolLlPbwq9MpYiGLUtxK4K5Y+BMUR4TXY4K4SBubvGDucnK4AIg== X-Received: by 10.200.43.201 with SMTP id n9mr21765118qtn.243.1489165497045; Fri, 10 Mar 2017 09:04:57 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.156.8 with HTTP; Fri, 10 Mar 2017 09:04:16 -0800 (PST) In-Reply-To: <87tw71ulal.fsf@gmail.com> References: <87tw71ulal.fsf@gmail.com> From: Gabriel Scherer Date: Fri, 10 Mar 2017 12:04:16 -0500 Message-ID: To: "A. Moo" Cc: caml Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Native compiler liveness failure Could you write a bug report on the Mantis bugtracker: https://caml.inria.fr/mantis/ ? I am not sure what you mean by "not being sure how to fill a proper bug report". When in doubt about how to file (but you really think it's a bug), I would think that a Mantis report is better than a caml-list post, because it's easy to change Mantis bug details after the fact. (The people that watch the bugtracker also watch the caml-list, so that means that posting to caml-list about bugs risks sending not-so-relevant messages to strictly more people.) (Another option is to send a message on the relevant Github PR if you have identified the PR responsible for merging the breaking change in trunk. When in doubt, the mantis entry is a safe choice.) If you have questions about how to file the actual report, I would be happy to give more information -- send me an email. The summary is that this is in the "backend" category, and that the product version should be the latest development branch (if you use "trunk"), that is currently 4.06+0+dev. On Fri, Mar 10, 2017 at 11:52 AM, wrote: > > Not being sure how to fill a proper bug report in this case posting the > problem description here. > > When trying to build llpp [1] with native code ocaml compiler (git > 9e81b0fb4be4a2dc9114efb630fea192c7d04e1e) I'm getting a compiler error: > > ocamlopt -c -I ./lablGL -I build-ocaml-git/lablGL -I build-ocaml-git -I build-ocaml-git/wsi/x11 -o build-ocaml-git/main.cmx ./main.ml > File "_none_", line 1: > Warning 58: no cmx file was found in path for module Wsi, and its interface was not compiled with -opaque > spilled-cmd/75 >>> Fatal error: Liveness.fundecl > Fatal error: exception Misc.Fatal_error > Raised at file "utils/misc.ml", line 21, characters 54-71 > Called from file "asmcomp/asmgen.ml" (inlined), line 31, characters 2-29 > Called from file "asmcomp/asmgen.ml", line 118, characters 46-60 > Called from file "utils/misc.ml", line 28, characters 20-27 > Re-raised at file "utils/misc.ml", line 28, characters 50-57 > Called from file "asmcomp/asmgen.ml" (inlined), line 102, characters 15-18 > Called from file "asmcomp/asmgen.ml", line 107, characters 2-659 > Called from file "list.ml", line 100, characters 12-15 > Called from file "utils/misc.ml", line 28, characters 20-27 > Re-raised at file "utils/misc.ml", line 28, characters 50-57 > Called from file "asmcomp/asmgen.ml" (inlined), line 102, characters 15-18 > Called from file "asmcomp/asmgen.ml", line 179, characters 2-118 > Called from file "asmcomp/asmgen.ml", line 154, characters 6-12 > Re-raised at file "asmcomp/asmgen.ml", line 159, characters 6-15 > Re-raised at file "asmcomp/asmgen.ml", line 170, characters 4-13 > Called from file "driver/optcompile.ml" (inlined), line 67, characters 15-18 > Called from file "driver/optcompile.ml", line 127, characters 16-303 > Called from file "utils/misc.ml", line 28, characters 20-27 > Re-raised at file "utils/misc.ml", line 28, characters 50-57 > Called from file "driver/optcompile.ml" (inlined), line 67, characters 15-18 > Called from file "driver/optcompile.ml", line 121, characters 10-622 > Called from file "driver/optcompile.ml", line 139, characters 8-68 > Re-raised at file "driver/optcompile.ml", line 144, characters 6-13 > Called from file "utils/misc.ml", line 28, characters 20-27 > Re-raised at file "utils/misc.ml", line 28, characters 50-57 > Called from file "driver/compenv.ml", line 561, characters 6-35 > Called from file "list.ml", line 100, characters 12-15 > Called from file "driver/compenv.ml", line 637, characters 2-61 > Called from file "driver/optmain.ml", line 246, characters 6-164 > Re-raised at file "parsing/location.ml", line 456, characters 14-25 > Re-raised at file "parsing/location.ml", line 456, characters 14-25 > Re-raised at file "parsing/location.ml", line 456, characters 14-25 > > Build command lines that produced this partiuclar ocamlopt invocation was: > > OCAMLRUNPARAM=b PATH=/home/malc/tmp/ocaml-git/bin:$PATH native=yes sh -x build.sh build-ocaml-git > > [1] https://github.com/moosotc/llpp/ > | http://repo.or.cz/w/llpp.git > > -- > mailto:moosotc@gmail.com > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs