From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <charlet@eu.adacore.com>
Received: from smtp.eu.adacore.com (mel.act-europe.fr [194.98.77.210])
 by sourceware.org (Postfix) with ESMTPS id F25563861031
 for <gcc@gcc.gnu.org>; Sun, 20 Dec 2020 12:24:01 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org F25563861031
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=adacore.com
Authentication-Results: sourceware.org;
 spf=pass smtp.mailfrom=charlet@eu.adacore.com
Received: from localhost (localhost [127.0.0.1])
 by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 740FD82353;
 Sun, 20 Dec 2020 13:24:00 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at eu.adacore.com
Received: from smtp.eu.adacore.com ([127.0.0.1])
 by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id AONA3T_cmh0f; Sun, 20 Dec 2020 13:24:00 +0100 (CET)
Received: from chelles.localdomain (chelles.act-europe.fr
 [IPv6:2a02:2ab8:224:1:d6be:d9ff:fef8:4565])
 by smtp.eu.adacore.com (Postfix) with ESMTP id 41E69822F6;
 Sun, 20 Dec 2020 13:24:00 +0100 (CET)
Received: by chelles.localdomain (Postfix, from userid 525)
 id 268B81EA007E; Sun, 20 Dec 2020 13:24:00 +0100 (CET)
Date: Sun, 20 Dec 2020 13:24:00 +0100
From: Arnaud Charlet <charlet@adacore.com>
To: Patrick <patrick@spellingbeewinnars.org>
Cc: gcc@gcc.gnu.org
Subject: Re: Help with workflow
Message-ID: <20201220122400.GA10588@adacore.com>
References: <ce8ed529-e714-ea72-780e-9810897008f4@spellingbeewinnars.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <ce8ed529-e714-ea72-780e-9810897008f4@spellingbeewinnars.org>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Sun, 20 Dec 2020 12:24:19 -0000

Pat,

Not sure what you are trying to do . Are you trying to generate C code
from Ada? If so, can you clarify why? In other words, what is the high level
problem you are trying to solve and that you'd like to achieve? Is it the
ability to navigate in Ada code?

If you want to generate C from Ada, GCC isn't the right tool, since GCC
doesn't generate C code, it generates an intermediate representation which
is then translated into assembly code directly, without ever generating C code.

Arno