From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42d.google.com (mail-wr1-x42d.google.com [IPv6:2a00:1450:4864:20::42d]) by sourceware.org (Postfix) with ESMTPS id BD5733858430 for ; Fri, 28 Oct 2022 17:45:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BD5733858430 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x42d.google.com with SMTP id j15so7573537wrq.3 for ; Fri, 28 Oct 2022 10:45:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=fatc8TZruQiLpGXfMsNI7Du29NXQJDSKT0tzALhv8hc=; b=TJwyuORyY1PGRZ5WiacskFKvz8yYJzAw98EphmbHIGrvk3ketOT3diJCK79opMvbuq pvSt0mdc3TTkOzqcU2OvGBTOeB1PuXBBJOaI42JAdgGNc+09czGbctNXsHtJ5BqERyRd CdrtzYKvdZVqle8hfdOgyv6Q2LeOiBujJIYTJJduESVIJlXVBtax6Lq321ItsCa0jXWp JWLecOHMkBgZ6UyEvhBLKU9JsKyAxi5PfhSurFIJ1DZYPX6YSfOhrz/OUL1lgtpOkDjg F70bLMjnchdvg/YJMlTef6QedPJ+x07dixFDTvBQUTaBEPtZu1qTLIo0ujzf4+77TZoh svqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=fatc8TZruQiLpGXfMsNI7Du29NXQJDSKT0tzALhv8hc=; b=qr4gM8d61nRB1WCIWXeaQOcLQ0qvQYDdmnmFVXj0AkZLYZsfGZOTsuYSZvdJfyXdX5 /lFIo7rDNoCByn+k0vQkA3s0TRZVADWeTy5RjDP5uC4pFYisD4zJo3XXw+TVltZDPRww Pt1LTaLRPdXj3ccVUnwdA7c/X+xflVjZzGPNdtG2R3fW2I3AmPK9HoFycjOXUe3qYbHl pSG8l8DL4H4nELbybAyJgTIrryfevK/xClD3u++vP/rXzH+zLVKPfdbOYhHuKH74SEzK 4oABBp6pmT2TXxdX74dUhO8IUfRudovXnDhkxuqTyNz4TXpO/a27TsnaA0iEe2jxsmbA 89FQ== X-Gm-Message-State: ACrzQf0g1wDvPeHRUeYfz1nr3tUf2b6PcYSvQXkCb5hG7JlLNWNw7Y+M SW9fjCaNV8ulDa2k/FWIMIX7lA== X-Google-Smtp-Source: AMsMyM59jgmI37NZSrGkxZB/MVxbNe4vF8T8uNibwm7R8OKfovna8WMxlkYLmi5RJT/rhTeOMtbWag== X-Received: by 2002:adf:e195:0:b0:22f:6117:a932 with SMTP id az21-20020adfe195000000b0022f6117a932mr330475wrb.572.1666979138465; Fri, 28 Oct 2022 10:45:38 -0700 (PDT) Received: from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6]) by smtp.gmail.com with ESMTPSA id bk17-20020a0560001d9100b0022cdb687bf9sm5326610wrb.0.2022.10.28.10.45.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Oct 2022 10:45:37 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: Andrew MacLeod Cc: Richard Biener , gcc-patches@gcc.gnu.org, Jakub Jelinek , gcc-patches Subject: Re: RFC - VRP1 default mode Date: Fri, 28 Oct 2022 19:45:36 +0200 Message-ID: <2664958.mvXUDI8C0e@fomalhaut> In-Reply-To: <44fdc256-0326-0859-98bf-5ceb89578658@redhat.com> References: <44fdc256-0326-0859-98bf-5ceb89578658@redhat.com> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: > I get a clean testsuite run configured and bootstrapped with > > --enable-languages=c,c++,go,fortran,ada,obj-c++,jit --enable-host-shared > > Is there a PR or specific tests in either fortran or ada for those > improvements? ie, something specific I should check for? Part of rangers > point is to be able to do symbolic relationships without storing the > symbolic in the range, just picking it up from the IL as needed. The motivating Ada example for symbolic ranges was gnat.dg/opt40.adb. -- Eric Botcazou