From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B8052800DB for ; Fri, 10 Mar 2017 17:59:53 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mshinwell@janestreet.com; spf=Pass smtp.mailfrom=mshinwell@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.78 as permitted sender) identity=mailfrom; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AITjH/BRZ+dHg9yXzOs0rArpc09psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybByN2/xhgRfzUJnB7Loc0qyN4v2mBTxLsM3JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBW7oR/eu8QVjodvLqg8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMDE37XzXitdojK1FvB2huxJxw4nRYI6PNfp+eL7WcdcVSGdFW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cOP+hYoYnzqVUNsBWwGxWjCfjzyjNUnHL6wbE23/gjHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtM6kdS/q1zKrVxjveb/NW2DH96YbWfRAlpfGHQLV9cc/KyUkvFgPFiFuR?= =?us-ascii?q?ppLhPzORzekNsXKU7+x+WuK0l24nsR9+rSazxss2lobJgYcVx0nC+C5kzog1It?= =?us-ascii?q?i4R1R6Yd6iCJZQsDuaO5FqTcIjW21ouSA6yqcHuZGhZiQKxo4nywbQa/yGb4iI?= =?us-ascii?q?4g/jW/2LLThkg3Jlfaqzhhao/kigze38UdO430pNripAlNTHq3MD1wTL58WJSf?= =?us-ascii?q?Zx5Fqt1SqP2gzJ9O1IPVw4mbDZJpMi2rI8iIYfvEDZEiL1mEj6lrKaelsn9+Sy?= =?us-ascii?q?9ujqZrbrq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Py51Lzs+k35XalKguAsnq?= =?us-ascii?q?ncqp/aJMAbqrS7AwBP1IYs9Q2/Dyu80NsGg3YHMEhJdw6Aj4jsI13OIfb4Aumj?= =?us-ascii?q?g1m0njpmxOrKMqD9DpjNNHTPjqvtcapn50Neywc/1dVf6IhVCrEFLvLzQEjxtN?= =?us-ascii?q?nAAx88KAy0w+fnCNNz14wAXWKPBrSUMKHIvl+O+O0vOPWMZJULtznjN/gp/eLh?= =?us-ascii?q?jXg8mVMFZ6mmwYMXaGykHvRhO0iWfWDjgtIFEWsTugo+TffqiEGZXD5IZ3eyWr?= =?us-ascii?q?o86SshBIKnC4fDXIGtj6ab0Ce1BJ0FLlxBX1WLFmzva46sVPIFaSbUKchkwRIe?= =?us-ascii?q?Ur30boY71lmVtA781LdjKqKA/zYYtJT82dxxz+/akxwp6SZ5Atjb2GaIGTIn1l?= =?us-ascii?q?gUTiM7ifgs6Xd2zU2OhPQpjg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CbAADt2sJYfU7IaSZdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBhAeBCgeDWYoOc5BdgjqFU4wPgRyCDiqFeAKCOgc?= =?us-ascii?q?/GAEBAQEBAQEBAQEBEgEBCxQIV4IzCoJZAQIDIx0BASwLAQ8LCw0CAgkaAwICI?= =?us-ascii?q?QESAQUBCgERGRKJVgMVAwulIj+LG2iCJoMIAQEFhCsDCoMjAQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEWCBJ5hUOEb4JRJYQqOoJfh0QMlDc6hnaHF4QrgXtUhFGKBIpUh?= =?us-ascii?q?yQUH4EVH4E7OB9UFwWEKoIPdYoaAQEB?= X-IPAS-Result: =?us-ascii?q?A0CbAADt2sJYfU7IaSZdGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBhAeBCgeDWYoOc5BdgjqFU4wPgRyCDiqFeAKCOgc/GAEBAQEBAQEBA?= =?us-ascii?q?QEBEgEBCxQIV4IzCoJZAQIDIx0BASwLAQ8LCw0CAgkaAwICIQESAQUBCgERGRK?= =?us-ascii?q?JVgMVAwulIj+LG2iCJoMIAQEFhCsDCoMjAQEBAQEBAQEBAQEBAQEBAQEBAQEWC?= =?us-ascii?q?BJ5hUOEb4JRJYQqOoJfh0QMlDc6hnaHF4QrgXtUhFGKBIpUhyQUH4EVH4E7OB9?= =?us-ascii?q?UFwWEKoIPdYoaAQEB?= X-IronPort-AV: E=Sophos;i="5.36,141,1486422000"; d="scan'208";a="216332349" Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Mar 2017 17:59:52 +0100 Received: from tot-qpr-mailcore2.delacy.com ([172.27.56.106] helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.84_2) (envelope-from ) id 1cmNtP-0006z7-3F for caml-list@inria.fr; Fri, 10 Mar 2017 11:59:51 -0500 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BYwtuH-AAADVk-C1; 2017-03-10 11:59:51.092401-05:00 Received: from mail-wr0-f198.google.com ([209.85.128.198]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.84_2) (envelope-from ) id 1cmNtO-0000MH-Vc for caml-list@inria.fr; Fri, 10 Mar 2017 11:59:51 -0500 Received: by mail-wr0-f198.google.com with SMTP id y51so30187931wry.6 for ; Fri, 10 Mar 2017 08:59:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=JQVjSMsrdPIWQbqx8r+WgsImhIz1n3w/XIwBNinD1LU=; b=XLpmAx0R3ea5ON+7/nIUkYHdRWxAt795rKrayPpFLwcwnEMRao4mI21mQ/Nlj32mjo qcRcJHwj+/fcopQerwJXS1yjoI5T/6GvYIPUUszEZuM0cVdOdSW7JbaPyLjbXjGa+Kw8 oevw9MLheimsCVk2Lsgmu0xxroT1hc/NNbot4= 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=JQVjSMsrdPIWQbqx8r+WgsImhIz1n3w/XIwBNinD1LU=; b=tWjStDEgPD0yqHZZMI+2OeXdiYifvpzJS0pfkWaxpojSCR+LcMYBpDLe5mWaBp8zze MpXL39O6tTOnaX9j5kIg/HdNZvEgd5vpJMRprlv1YaaoS6Q/AJgeMN3EeYmz4LOF0OWp ++uHc301q95O3/hJDCso9uoXJFrDgsqD06uXtmOUPLlACop7fbrdZ35yZIqO3lTq4PN2 VyyR1wTM/jrcJpJROk5rAguYZLT6q0lOYHpkHZnYsZtHn7/Cn4MXbD1oNUHxQJJvNjjM BNiibnCJAd2xTGUF2X5Cd3D22OrqwG2jYPPHybPlKnThCm6fFurGdu9sLQZXhxVS8jsV 5z0Q== X-Gm-Message-State: AFeK/H2jTO4n68N5AjK02Gktys+/Xl6y3L/SeBxgLegB23xjW15Ai22yaIhezRDysWtQKhjeY5ScWdlrB9RiCiOvC4mIpRV0gJMuIVXQJI0dgHer7/gG+FGYE1nIhbUcduf0S//3xbrtgfGEJckS X-Received: by 10.28.62.204 with SMTP id l195mr3189551wma.88.1489165189935; Fri, 10 Mar 2017 08:59:49 -0800 (PST) X-Received: by 10.28.62.204 with SMTP id l195mr3189542wma.88.1489165189689; Fri, 10 Mar 2017 08:59:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.154.226 with HTTP; Fri, 10 Mar 2017 08:59:49 -0800 (PST) In-Reply-To: <87tw71ulal.fsf@gmail.com> References: <87tw71ulal.fsf@gmail.com> From:Mark Shinwell Date: Fri, 10 Mar 2017 16:59:49 +0000 Message-ID: To:moosotc@gmail.com Cc:caml Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] Native compiler liveness failure This may be related to a recent change which is supposed to fix some problems relating to liveness information calculations. I can investigate if that is the case on Monday, but in the meantime, please try backing out 8801274af34f0c9889269524521e878a5d63d3b9 from your checkout and see if that works from a clean build. Thanks. Mark On 10 March 2017 at 16:52, 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