From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pg1-x52f.google.com (mail-pg1-x52f.google.com [IPv6:2607:f8b0:4864:20::52f]) by sourceware.org (Postfix) with ESMTPS id 67A013858C50 for ; Fri, 8 Apr 2022 07:33:22 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 67A013858C50 Received: by mail-pg1-x52f.google.com with SMTP id t4so7093563pgc.1 for ; Fri, 08 Apr 2022 00:33:22 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent:subject :content-language:from:to:references:in-reply-to :content-transfer-encoding; bh=ZA9Qto/lYbxP6OkuKRqebVP0VtSFgmKRbNNEhMyI5Tw=; b=2WI40RuW0LpblnWGcJYoVHMPFp3pZjGVjKdP2bhaJ8UEx907e+qIgMoN3D7DSmqpIN AMJTOCNUzwb9d+diCOVQnVNqYrjUjiopY+STpTBBRYz8GmP07TWVbAZ7/qr5WyD31kHb MZkVN8B4WU2miF/7L0lRMAEqHLj/yishg7JkR9PSb6UeT4bqnINweXDEV32faScM+hYz aBd+xaoLDSHcW+2QK+0ehkGLUr8WtthJFFZdXQ531YX+DFXEi5OAhDhLT+x92F9zycqx nD5cg49jkE9BnK8yeK8+xQ/LvIlN08x+PtIpKYkcVubqmne/JUrGpQgTMkOBjE9eJBbW imDg== X-Gm-Message-State: AOAM531mOvtsbtSBSOMsyYIG3TAocDoZiq8TcMrKvbDoOX20cU+Wh4+M UoG9SHUcA6S6fo27m2nOOuv9NA== X-Google-Smtp-Source: ABdhPJyKxt/2ll7sowycqeeCtez0xvapZsMKaiceQ7k4uhlMmPmi4fjN2XB/0/sdfz7+WnIvYTdquA== X-Received: by 2002:a05:6a00:16d0:b0:4f6:f4b2:b1ca with SMTP id l16-20020a056a0016d000b004f6f4b2b1camr18173419pfc.46.1649403201349; Fri, 08 Apr 2022 00:33:21 -0700 (PDT) Received: from [172.16.185.109] ([103.175.111.222]) by smtp.gmail.com with ESMTPSA id p12-20020a63ab0c000000b00381f7577a5csm20537099pgf.17.2022.04.08.00.33.19 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 08 Apr 2022 00:33:21 -0700 (PDT) Message-ID: <6b843d4e-d930-ec0d-10f7-32a3826ccd2c@woven-planet.global> Date: Fri, 8 Apr 2022 09:33:14 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.7.0 Subject: [PATCH] Add condition coverage profiling Content-Language: en-US From: =?UTF-8?Q?J=c3=b8rgen_Kvalsvik?= To: Sebastian Huber , gcc-patches@gcc.gnu.org References: <8041d06d-219d-c83a-ff8f-9c75227cb072@woven-planet.global> <8ea26b0e-40e2-9e7c-4470-5add7a02a074@woven-planet.global> <38afdc2a-ed99-be14-969d-81afd64eddfa@embedded-brains.de> <4d385a5b-0b65-6740-b09c-4670801962f4@woven-planet.global> In-Reply-To: <4d385a5b-0b65-6740-b09c-4670801962f4@woven-planet.global> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00, BODY_8BITS, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 08 Apr 2022 07:33:23 -0000 On 08/04/2022 09:28, Jørgen Kvalsvik wrote: > On 07/04/2022 18:53, Sebastian Huber wrote: >> Hello Jørgen, >> >> there could be an issue with conditions in for loops: >> >>         3:  189:  for (int a = 0; a <= 1; ++a) { >> branch  0 taken 2 >> branch  1 taken 1 (fallthrough) >> conditions covered 0/2 >> condition  0 not covered (true) >> condition  0 not covered (false) >> > > Hello, > > Thanks, I'll have a look at it. There should be a for loop in the test suite, > but I'll add this exact example and see if I can reproduce it. This should > obviously be 100% covered. Sebastian, I added this exact example to the test suite, but it reports 2/2 for me (linux amd64). Do you have a very different system, and what flags did you use? Cheers, Jørgen