From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id 3E99A3858D32 for ; Mon, 20 Mar 2023 23:30:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3E99A3858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1679355024; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=4tbfrokSrsvOW3/2M7UoMMKcB7RonhFaeLTn/B6E3+Q=; b=RKruj0nqchPH2XYVcoTB4hyA6ibEkgOrnB4xi7vaz+caOrHo/IbgjlDE/pTl/hqaw7qCcs wz6qzmgPX7BkZkcmRxl588MEG/B52Erupssi+IYmz1sfLNAk6sz4Q1yOHeSgCfT/Xuxxw0 K0AVeJVPdaCLjiujLM1lMJ/WO2T9XfY= Received: from mail-qt1-f197.google.com (mail-qt1-f197.google.com [209.85.160.197]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-368-jUVsZ9iKPwSgXXLe7Van-Q-1; Mon, 20 Mar 2023 19:30:23 -0400 X-MC-Unique: jUVsZ9iKPwSgXXLe7Van-Q-1 Received: by mail-qt1-f197.google.com with SMTP id f2-20020ac87f02000000b003dd98d8bea0so4342311qtk.6 for ; Mon, 20 Mar 2023 16:30:23 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679355022; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=4tbfrokSrsvOW3/2M7UoMMKcB7RonhFaeLTn/B6E3+Q=; b=uapp1XWtyxezZN5FUAATPz8gsI1wsSkJGp9m0EfXG4ourBACQNYJVru0D3KmQEhMFD lirmO+IHCfblR9rUIuSuq/acWHw92eE/7nJcnyS84fwuTdNlF9l3hPUzV8BT/TnDp30g KBdcQXzNT7pS5ShG9FnkU2jCFo39dW0mRnh1quEMA3pgl3a5vyMtkOJ5tO99y+5egSoL 5kv9J/Fx0++rWlM2SmZBRhMeSlgIYT1xLaE4gU4TYDO5726KH2duvY/orbXkelvqYNhC /A0ayEZBBCVQCqpQfy68s7KlR3bmMUxnBPJpLZUfZ8/75vPdggCpd6VBWy8vPew06IzO tXUw== X-Gm-Message-State: AO0yUKUDb9VgjJqxyTtdjgZOzhcaIF7h12uQdUaePP/olHx7SEVKfrVh vdbNhI3pRlxefBq+fEmRdUAZ/idgLKDBDS6jUDK4JxNFhwa32uoaaiqkd7ZSrhRbERXueK4nHpq febczudPiT28E/wY= X-Received: by 2002:ac8:5914:0:b0:3b6:2e9b:cf2b with SMTP id 20-20020ac85914000000b003b62e9bcf2bmr1834806qty.14.1679355022733; Mon, 20 Mar 2023 16:30:22 -0700 (PDT) X-Google-Smtp-Source: AK7set8LEteWqlfKPC9raJ5+IrNfUs1It3AUhDa+c2V6neKMwsET0kdE93d/FR59El3XeqxLcwZrbQ== X-Received: by 2002:ac8:5914:0:b0:3b6:2e9b:cf2b with SMTP id 20-20020ac85914000000b003b62e9bcf2bmr1834778qty.14.1679355022350; Mon, 20 Mar 2023 16:30:22 -0700 (PDT) Received: from t14s.localdomain (c-73-69-212-193.hsd1.nh.comcast.net. [73.69.212.193]) by smtp.gmail.com with ESMTPSA id s80-20020a37a953000000b00741a984943fsm349450qke.40.2023.03.20.16.30.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 20 Mar 2023 16:30:21 -0700 (PDT) Message-ID: <3b77234afb96947c9694d375b43b3096cbd45467.camel@redhat.com> Subject: Re: [Static Analyzer] Loop handling - False positive for malloc-sm From: David Malcolm To: Pierrick Philippe , gcc@gcc.gnu.org Date: Mon, 20 Mar 2023 19:30:20 -0400 In-Reply-To: <34efc6e0-5bd8-879c-0288-154ba28f5f05@irisa.fr> References: <34efc6e0-5bd8-879c-0288-154ba28f5f05@irisa.fr> User-Agent: Evolution 3.44.4 (3.44.4-1.fc36) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,BODY_8BITS,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,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: T24gTW9uLCAyMDIzLTAzLTIwIGF0IDEzOjI4ICswMTAwLCBQaWVycmljayBQaGlsaXBwZSB3cm90 ZToKPiBIaSBldmVyeW9uZSwKPiAKPiBJJ20gc3RpbGwgcGxheWluZyBhcm91bmQgd2l0aCB0aGUg YW5hbHl6ZXIsIGFuZCB3YW50ZWQgdG8gaGF2ZSBhIGxvb2sKPiBhdCAKPiBsb29wIGhhbmRsaW5n Lgo+IEknbSB1c2luZyBhIGJ1aWxkIGZyb20gL3RydW5rLyBicmFuY2ggKC8yMDIzMDMwOS8pLgo+ IAo+IEhlcmUgaXMgbXkgYW5hbHl6ZWQgY29kZToKPiAKPiAnJycKPiAxfCAjaW5jbHVkZSA8c3Rk bGliLmg+Cj4gMnwgaW50IG1haW4odm9pZCkgewo+IDN8IMKgwqAgdm9pZCAqIHB0ciA9IG1hbGxv YyhzaXplb2YoaW50KSk7Cj4gNHwgwqDCoCBmb3IgKGludCBpID0gMDsgaSA8IDEwOyBpKyspIHsK PiA1fCDCoMKgwqDCoMKgwqAgaWYgKGkgPT0gNSkgZnJlZShwdHIpOwo+IDZ8IMKgwqAgfQo+IDd8 fQo+ICcnJwo+IAo+IEFuZCBoZXJlLCB0aGUgbWFsbG9jLXNtIGlzIHJlcG9ydGluZyBhIGRvdWJs ZS1mcmVlIG9uIGxpbmUgNSB3aXRoIGEgCj4gcXVpdGUgY29uZnVzaW5nIG91dHB1dDoKPiAKPiAn JycKPiAuL3Rlc3QuYzogSW4gZnVuY3Rpb24g4oCYbWFpbuKAmToKPiAuL3Rlc3QuYzo1OjIxOiB3 YXJuaW5nOiBkb3VibGUt4oCYZnJlZeKAmSBvZiDigJhwdHLigJkgW0NXRS00MTVdIAo+IFstV2Fu YWx5emVyLWRvdWJsZS1mcmVlXQo+IMKgwqDCoMKgIDUgfMKgwqDCoMKgwqDCoMKgwqAgaWYgKGkg PT0gNSkgZnJlZShwdHIpOwo+IMKgwqDCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgXn5+fn5+fn5+Cj4gwqDCoCDigJhtYWlu4oCZOiBl dmVudHMgMS0xMwo+IMKgwqDCoMKgIHwKPiDCoMKgwqDCoCB8wqDCoCAzIHzCoMKgwqDCoCB2b2lk ICogcHRyID0gbWFsbG9jKHNpemVvZihpbnQpKTsKPiDCoMKgwqDCoCB8wqDCoMKgwqDCoCB8wqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBefn5+fn5+fn5+fn5+ fn5+fn5+Cj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgfAo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICgxKSBhbGxvY2F0ZWQgaGVyZQo+ IMKgwqDCoMKgIHzCoMKgIDQgfMKgwqDCoMKgIGZvciAoaW50IGkgPSAwOyBpIDwgMTA7IGkrKykg ewo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgfn5+fsKgIH5+fgo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgfAo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKDUp IC4uLnRvIGhlcmUKPiDCoMKgwqDCoCB8wqDCoMKgwqDCoCB8wqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICgyKSBmb2xsb3dpbmcg4oCYdHJ1ZeKAmSBicmFu Y2gKPiAod2hlbiAKPiDigJhpIDw9IDnigJkpLi4uCj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAgfMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoNikgZm9sbG93 aW5nIOKAmHRydWXigJkgYnJhbmNoCj4gKHdoZW4gCj4g4oCYaSA8PSA54oCZKS4uLgo+IMKgwqDC oMKgIHzCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgKDkpIGZvbGxvd2luZyDigJh0cnVl4oCZIGJyYW5jaAo+ICh3aGVuIAo+IOKAmGkg PD0gOeKAmSkuLi4KPiDCoMKgwqDCoCB8wqDCoCA1IHzCoMKgwqDCoMKgwqDCoMKgIGlmIChpID09 IDUpIGZyZWUocHRyKTsKPiDCoMKgwqDCoCB8wqDCoMKgwqDCoCB8wqDCoMKgwqDCoMKgwqDCoMKg wqDCoCB+wqDCoMKgwqDCoMKgIMKgIMKgIH5+fn5+Cj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAgfMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8Cj4gwqDCoMKg wqAgfMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoCAoOCkgZmlyc3Qg4oCYZnJlZeKAmSBoZXJlCj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAg fMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqDCoMKgwqDCoCDCoCDCoCDCoCAoMTIpIC4uLnRv IGhlcmUKPiDCoMKgwqDCoCB8wqDCoMKgwqDCoCB8wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8wqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgICgxMykgc2Vjb25kIOKAmGZyZWXigJkgaGVyZTsgZmlyc3QK PiDigJhmcmVl4oCZIHdhcyBhdCAoOCkKPiDCoMKgwqDCoCB8wqDCoMKgwqDCoCB8wqDCoMKgwqDC oMKgwqDCoMKgwqDCoCAoMykgLi4udG8gaGVyZQo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKg wqDCoMKgwqDCoMKgwqDCoMKgICg0KSBmb2xsb3dpbmcg4oCYZmFsc2XigJkgYnJhbmNoICh3aGVu IOKAmGkgIT0KPiA14oCZKS4uLgo+IMKgwqDCoMKgIHzCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDC oMKgwqDCoMKgICg3KSAuLi50byBoZXJlCj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAgfMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKDEwKSAuLi50byBoZXJlCj4gwqDCoMKgwqAgfMKgwqDCoMKgwqAgfMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgKDExKSBmb2xsb3dpbmcg4oCYdHJ1ZeKAmSBicmFuY2ggKHdo ZW4g4oCYaSA9PQo+IDXigJkpLi4uCj4gwqDCoMKgwqAgfAo+ICcnJwo+IAo+IFNvLCBJJ20gZ3Vl c3NpbmcgdGhhdCB0aGlzIGZhbHNlIHBvc2l0aXZlIGlzIGR1ZSB0byBob3cgdGhlIGFuYWx5emVy Cj4gaXMgCj4gaGFuZGxpbmcgbG9vcHMuCj4gV2hpY2ggbGVhZCB0byBteSBxdWVzdGlvbjogaG93 IGFyZSBsb29wcyBoYW5kbGVkIGJ5IHRoZSBhbmFseXplcj8KClNhZGx5LCB0aGUgYW5zd2VyIGlz IGN1cnJlbnRseSAibm90IHZlcnkgd2VsbCIgOi8KCkkgaW1wbGVtZW50ZWQgbXkgb3duIGFwcHJv YWNoLCB3aXRoIGEgIndpZGVuaW5nX3N2YWx1ZSIgc3ViY2xhc3Mgb2YKc3ltYm9saWMgdmFsdWUu ICBUaGlzIGlzIHdpZGVuaW5nIGluIHRoZSBBYnN0cmFjdCBJbnRlcnByZXRhdGlvbiBzZW5zZSwK KGFzIG9wcG9zZWQgdG8gdGhlIGJpdHdpc2Ugb3BlcmF0aW9ucyBzZW5zZSk6IGlmIEkgc2VlIG11 bHRpcGxlIHZhbHVlcwpvbiBzdWNjZXNzaXZlIGl0ZXJhdGlvbnMsIHRoZSB3aWRlbmluZ19zdmFs dWUgdHJpZXMgdG8gc2ltdWxhdGUgdGhhdCB3ZQprbm93IHRoZSBzdGFydCB2YWx1ZSBhbmQgdGhl IGRpcmVjdGlvbiB0aGUgdmFyaWFibGUgaXMgbW92aW5nIGluLgoKVGhpcyBkb2Vzbid0IHdvcmsg d2VsbDsgYXJndWFibHkgSSBzaG91bGQgcmV3cml0ZSBpdCwgcGVyaGFwcyB3aXRoIGFuCml0ZXJh dG9yX3N2YWx1ZSwgdGhvdWdoIEknbSBub3Qgc3VyZSBob3cgaXQgb3VnaHQgdG8gd29yay4gIFNv bWUgaWRlYXM6CgoqIHJldXNlIGdjYydzIGV4aXN0aW5nIFNTQS1iYXNlZCBsb29wIGFuYWx5c2lz LCB3aGljaCBJIGJlbGlldmUgY2FuCmlkZW50aWZ5IFNTQSBuYW1lcyB0aGF0IGFyZSBpdGVyYXRv ciB2YXJpYWJsZXMsIGZpZ3VyZSBvdXQgdGhlaXIKYm91bmRzLCBhbmQgdGhlaXIgcGVyLWl0ZXJh dGlvbiBpbmNyZW1lbnRzLCBldGMuCgoqIHJld29yayB0aGUgcHJvZ3JhbV9wb2ludCBvciBzdXBl cmdyYXBoIGNvZGUgdG8gaGF2ZSBhIG5vdGlvbiBvZiAiMXN0Cml0ZXJhdGlvbiBvZiBsb29wIiwg IjJuZCBpdGVyYXRpb24gb2YgbG9vcCIsICJzdWJzZXF1ZW50IGl0ZXJhdGlvbnMiLApvciBzaW1p bGFyLCBzbyB0aGF0IHRoZSBhbmFseXplciBjYW4gZXhwbG9yZSB0aG9zZSBjYXNlcyBkaWZmZXJl bnRseQoob24gdGhlIGFzc3VtcHRpb24gdGhhdCBzdWNoIGl0ZXJhdGlvbnMgaG9wZWZ1bGx5IGNh dGNoIHRoZSBtb3N0CmludGVyZXN0aW5nIGJ1Z3MpCgpEYXZlCg==