From patchwork Tue Apr 16 03:26:43 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Alexandre Oliva X-Patchwork-Id: 1923957 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=ABhcjozE; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4VJTxP5xJpz1yZ2 for ; Tue, 16 Apr 2024 13:27:21 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0FD4A3858C5F for ; Tue, 16 Apr 2024 03:27:20 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-ot1-x32f.google.com (mail-ot1-x32f.google.com [IPv6:2607:f8b0:4864:20::32f]) by sourceware.org (Postfix) with ESMTPS id A1D1D3858CDA for ; Tue, 16 Apr 2024 03:26:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A1D1D3858CDA Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org A1D1D3858CDA Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::32f ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1713238019; cv=none; b=jGO39iqQONGvIY8571JngJrXJzKlRlL09KjQT0EpLHj9VOPf5FsGzQERe4OgpnHWPT+UzFBRCb0IfmLskvZ1phy6m9jlPcQCs/mAwiWlQinai0URHU5al4cqnKLUALM0E0JcIp9kCEdTwKWROvHpjpJeckTAIKJVoHA30Q8YEls= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1713238019; c=relaxed/simple; bh=Qf53K2mx4wvt7gSRxm2Cz02kcBrK+QK2sL/BtetgOqE=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=ad2iC//v/ux9//mkST1EwNcaqg9wIJY1wDFIuIGAtIX7sGQ5gLCO61Xb+b8t6Vvx+xD1kOpubyUEntX5BcGK17movdeKhKwME3rJ3zhemRJxJu5/IntdaQ22aKO8ejnLnIh5WrTmGurQZBQylc1rjyPG9PsN0gHp1wqhLBwdv1w= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ot1-x32f.google.com with SMTP id 46e09a7af769-6eb848b5a2eso767899a34.3 for ; Mon, 15 Apr 2024 20:26:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1713238017; x=1713842817; darn=gcc.gnu.org; h=mime-version:user-agent:message-id:date:organization:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=DJNAyjKrTZEwG2Y0jSsz7Jwm0bZPV/uGVVt91pJ94Jw=; b=ABhcjozEdeeKwKFgkXJYaLuYqONfRr6BHNRYUsuM9VSuHSyk7mKS9gk52mE4lvTr4L +LN6W3rWLhPiwf/0Mi2YCgtulx0koLimWx5YT0BMhtfPVCX17OEOHlt5ShVojO+Ken9K 2KDGOsDJ2tcufUsV3CXEZ8wR7D2r1IttTRFMVicfAW3hzEyITMVDP5iy7FDUEZAsd63B 27d/urYlJwYkeG1ezFiTI3q+E2jlAuZH/aqYvZScjX1vQyaLSULXq9iMZHfg5CwL4JH7 vn/XZlC4rIGwR/7i4L0A+NLYystbCVSQkQvnzM/cmVezEHKUJtAc32bSWjVZ1fsx0Cl9 CiOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713238017; x=1713842817; h=mime-version:user-agent:message-id:date:organization:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=DJNAyjKrTZEwG2Y0jSsz7Jwm0bZPV/uGVVt91pJ94Jw=; b=BuKiBxIUnY9taOfOWysbjon/9KNrFgHnCXRCQpMB/0YXoZhqzcsqhcB0TiyWcydRTL V7VxU9XzhN6bWHbLmC92jCVwLhQjswuncO0Vq2vPLk9OvST3fyE+ZpUDoMyViqR9kFgG sD4qjqnHOFYTE+L6g63KsHgC66Q9rHgZmKJlVaQA5NITZWatWp73pGNV1k6h2vHGNvfB mmK1C6LXISN9AaFoJrYvzYiveqOUh4bho4lwnI8sVjT/iXm7gAPem9WK6xJeokbAS4xM ZTXbptFZdhJK9ANC/tJxgdLlzHM5/0DqLiZIXdmPEB0KN7XsyG0sWThzOglXRtAlJ7l5 vFsQ== X-Gm-Message-State: AOJu0YyA/4eTD6xiiseePkC62nL9a205OPClU+F9HB4jxyW5hWwCOUjL KjHl/g1zqXl6ZfZx7Xkev1cUwXHu/iknwOYYG9vIORoK5x5txNlCGPajJnckYWvjDuQZCWhOvRC D5Q== X-Google-Smtp-Source: AGHT+IEmVqZZORSyoiZjng2bVtnJKWPWasgCMf9YRRU6ihfODHqvokJIH16CuH0hag3AzVHB7KnIUg== X-Received: by 2002:a05:6808:298b:b0:3c5:f473:f35e with SMTP id ex11-20020a056808298b00b003c5f473f35emr13157770oib.12.1713238016703; Mon, 15 Apr 2024 20:26:56 -0700 (PDT) Received: from free.home ([2804:7f1:218b:5e2:c43b:e0c4:71a:241b]) by smtp.gmail.com with ESMTPSA id m13-20020aa78a0d000000b006eaaaf5e0a8sm7894889pfa.71.2024.04.15.20.26.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 15 Apr 2024 20:26:56 -0700 (PDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 43G3Qhr82387491 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Tue, 16 Apr 2024 00:26:43 -0300 From: Alexandre Oliva To: gcc-patches@gcc.gnu.org Cc: Rainer Orth , Mike Stump , David Malcolm Subject: [PATCH] [testsuite] [analyzer] require fork where used Organization: Free thinker, does not speak for AdaCore Date: Tue, 16 Apr 2024 00:26:43 -0300 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-12.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, WEIRD_QUOTING autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org Mark tests that fail due to the lack of fork, as in vxworks kernel mode, as requiring fork. Regstrapped on x86_64-linux-gnu. Also tested with gcc-13 on arm-, aarch64-, x86- and x86_64-vxworks7r2. Ok to install? for gcc/testsuite/ChangeLog * gcc.dg/analyzer/pipe-glibc.c: Require fork. * gcc.dg/analyzer/pipe-manpages.c: Likewise. --- gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c | 5 +++-- gcc/testsuite/gcc.dg/analyzer/pipe-manpages.c | 2 ++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c b/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c index 60558a870b9d7..fe38ddef3959a 100644 --- a/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c +++ b/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c @@ -1,6 +1,7 @@ -/* Example of pipe usage from glibc manual. */ - /* { dg-skip-if "" { "avr-*-*" } } */ +/* { dg-require-fork "" } */ + +/* Example of pipe usage from glibc manual. */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/pipe-manpages.c b/gcc/testsuite/gcc.dg/analyzer/pipe-manpages.c index 6b9ae4d260281..ac5805fdba092 100644 --- a/gcc/testsuite/gcc.dg/analyzer/pipe-manpages.c +++ b/gcc/testsuite/gcc.dg/analyzer/pipe-manpages.c @@ -1,3 +1,5 @@ +/* { dg-require-fork "" } */ + /* Example of "pipe" from release 5.13 of the Linux man-pages project. Copyright (C) 2005, 2008, Michael Kerrisk