Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
From:   "Niedermayr, BENEDIKT" <benedikt.niedermayr@siemens.com>
To:     "rogerq@kernel.org" <rogerq@kernel.org>,
        "keescook@chromium.org" <keescook@chromium.org>
CC:     "gustavo@embeddedor.com" <gustavo@embeddedor.com>,
        "tony@atomide.com" <tony@atomide.com>,
        "linux-next@vger.kernel.org" <linux-next@vger.kernel.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "krzysztof.kozlowski@linaro.org" <krzysztof.kozlowski@linaro.org>,
        "linux-omap@vger.kernel.org" <linux-omap@vger.kernel.org>,
        "linux-hardening@vger.kernel.org" <linux-hardening@vger.kernel.org>
Subject: Re: Coverity: gpmc_is_valid_waitpin(): Control flow issues
Thread-Topic: Coverity: gpmc_is_valid_waitpin(): Control flow issues
Thread-Index: AQHY8IRB9ZtHrJ3BMEisffpY/LZZHq4zK+IAgAAAvQCAAYMsgA==
Date:   Tue, 8 Nov 2022 08:02:16 +0000
Message-ID: <b18cddde778ada5030f6a80308854cf9c0dc4d23.camel@siemens.com>
References: <202211041233.4D45359E7@keescook>
         <7cdf3d14-3f1b-7cd4-e8b9-e94b5359bf82@kernel.org>
         <e4e4c4f0-782b-9f89-d7a2-859c7759ca66@kernel.org>
In-Reply-To: <e4e4c4f0-782b-9f89-d7a2-859c7759ca66@kernel.org>
Reply-To: "Niedermayr, BENEDIKT" <benedikt.niedermayr@siemens.com>
Accept-Language: de-DE, en-US
Content-Language: en-US
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: =?utf-8?B?V3VHdjdMR3BleHcxY3B5T1VMbTBYMUtRVzRTNUZ6cDZISEJCbno5bllLRDB0?=
 =?utf-8?B?YTFHcHRRRU5oMHN6bnhmK3ZvZGV2bFQ4RThoTUNaZ1I4Ky9RRnZhblo4VzYv?=
 =?utf-8?B?QUxGSXZKRkR1NldXYkxrRWNma0JNN2F0b05FZG03aTYrM1N5bXZXekV1cXVC?=
 =?utf-8?B?dHAzSHAwWENDUExlakpvL1NyejBkQjVXVkMwWUtIaWc0UHJoamphT2drUXkr?=
 =?utf-8?B?NmJ4NVU1L05DTDFuSlNpTmkraVQ0SWNmemJuYm5udFYzd0ZXVElNa3NkbkQw?=
 =?utf-8?B?b0gwaVY1aUIwdXdjb1Excmp0dnZQTzd6YldBR1JGREFZbk93dzVYREpBa0Nl?=
 =?utf-8?B?ZlBCU3BEZHduZ1pKQ04rWlNmOGIxWkM1MlJIalY1eDc1a1hlQXRydENBS1VD?=
 =?utf-8?B?MiswNTB0SG9BU0kzS2RsVkZYTGc0U1lxUllDVzFrVlgvL1krR3FsWjBsaTdY?=
 =?utf-8?B?TWsvNjRoNFJXWFk4a1QzYklsTmx4cnhzOEVuY2w4SDFjc0VvcDhPakFNN1VI?=
 =?utf-8?B?Z3U2amJjQTFMNE5IZzlLL0Y1MndBVXFQeWtIOHVBWlYzT0VHWjd3RGNQK3hT?=
 =?utf-8?B?cGJxY2piQVVWNDdnOWVWaXVNMFdMczNiaERINXhvU2VXWkplYkFpRXA1T2pm?=
 =?utf-8?B?RjI5SUQ5MENKY2NlMjdDOWY4Yy8rY1JRWk96OXVhY1p5WGJuWDR5TFE3QlZ1?=
 =?utf-8?B?L00vT2U2WWlkUDliaEdqQjB5K2dQSTM3RWV0REFQa2xMZDBZbnA3ZjNwZ0JK?=
 =?utf-8?B?eGdZTGJzU2p3QmV5Z3JGUGxzY3RFdlROajcvTGFRbkJYV0lYNzFYa0V2emx2?=
 =?utf-8?B?cmIzMWloRlBnMXIwYml0Q01VTkJoWFkra2hReXBaQlFUWGFsMjBwV1hjc2hV?=
 =?utf-8?B?SDUvME5lNjFuckZJT2tGQVprNTV2eTFJM3JOUW45bFhwMDdlY1NHWkpDVTZX?=
 =?utf-8?B?VS9jN05INFdlVTkxaGtyU0NLWDVtVGwzZWVoM2hEMW1rWlU5c1EreGJGbE1a?=
 =?utf-8?B?MW40MVBFd1VLWkdrUENJNzdHS2FlL0NtZi9ueWpiNWpvZ1hDOXNUSVRvdm9L?=
 =?utf-8?B?VWRZajM1NHk4MHVtNWpzdlpyeDRBSXRvOFBDN1FTUEVGKytrd0JGT3hpN1hu?=
 =?utf-8?B?QU1iTlU4VTNIeWxScE1HS25mWTMvbjZvbk9zWE1GTmRBSWRkb2N5Rjl0YTR0?=
 =?utf-8?B?dXArRXFqYnZXNCs5d0VvNlZFZmIyZzZtSTlIUUZScXZoT0FrZjBzdFU1UVNE?=
 =?utf-8?B?eDdMVE0vbEoxbWJXd3ZQQTkvc2c1Ky93R3J3cW1kN1E4Y1E4VVBGc00vVjFh?=
 =?utf-8?B?WTFCMnhPczk3TlRTTGZOajBNa3FaZk9HMGpVYmplNTlZOVpIRGhDTGlJRlBQ?=
 =?utf-8?B?bDlSSlRjNS9sZzJ5NnR4c0hsZUVvREZ0Z29NWGZnclptbmswWmxYak1WZW9F?=
 =?utf-8?B?YXB6eExJTUhmWnh3WHYvQmFLalBmbmdFV1l0dE56YlkwMnV3ZE5HaTJJSkpP?=
 =?utf-8?B?ajBvdWlYVVJiWSs0bE56TUNlWWY1NjBYZDhmN2VWKzIvcC9xV1VpNDNJZmk0?=
 =?utf-8?B?L2pKYVRjeU4rUHBsOG1wTFdVY1JJbXF6allxZ0JadVFzRHZQUXNBKzNLZWVS?=
 =?utf-8?B?OWNGcjhaZE9aODM1ZkFoVmhaUnRXZmFCSFF3aWpmTEtodGVmZDdnMHBBNDh0?=
 =?utf-8?B?UTNlQTVzZ040eSsxcU1CeXE2aFhnZFN5ekhUcm9EdXAvdmJYVFpOcGpUYnpP?=
 =?utf-8?B?R0VGdmlISGhFTjR4UTBLYzdGeE9PT2FtREs2eDNhY3R4WFV4VnFURXpNNkl1?=
 =?utf-8?B?cTIxK0hOa1ZWYitVbDRVRFlvamJzNks5RUR3V2FscEp3RGJ5a2Fsc09nYkN4?=
 =?utf-8?B?eVZMSXVJM2JxQk1weEZRZER2U3BoSVVsUU1IdEFEZHI3dFlXSkZPYTR1MW1o?=
 =?utf-8?B?NnZGa1pXNVNYKzg5MkliWG5UenV5M054Mm1TaFNVd3VMOGZYazBqV2ExSEFi?=
 =?utf-8?B?T0R1OUI4UkxGVmZGYUlhajVxQWhDdFN1Q215ckVzRU41UlpxLzBkOEtjWUM1?=
 =?utf-8?B?andrZDhQeWlaZHdCVm92d3dIa2xSdU5Vb3V3Rm9sTnpMRFdJbHVrbHRCbkFJ?=
 =?utf-8?B?T1pRNC9acmNRUkR3WkNKSkljNWhOUXoxSTlZUkdjRVdCUjN4WVVUTVF0bWp6?=
 =?utf-8?B?UlV2UlhLUVFvSWwxc21HR1d1dWIzNmc2bktkOWloZ2NqaExaRnJCVEpiTXJh?=
 =?utf-8?Q?HqX8sN6nqFMMxMKnaWoS9LAEwdae1VuTNqInjW/8x0=3D?=
Content-Type: text/plain; charset="utf-8"
Content-ID: <564EA4EEEE40BB4699BF00FD77CC2E74@EURPRD10.PROD.OUTLOOK.COM>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: siemens.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: PAXPR10MB5520.EURPRD10.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-Network-Message-Id: 92e49db2-e90c-4b82-f893-08dac15f8d5a
X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Nov 2022 08:02:16.3481
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 38ae3bcd-9579-4fd4-adda-b42e1495d55a
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: IWd0l3YDhfew3oWdgHhUe66LPfrGTVHB7QQNodMWJkEiAROPxDwtnlVN3kD1rNVefOdgPCfKjy3WAri4/fCUjsOPHTI0N3lkeIDrwrAI1MY=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS2PR10MB6662
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIMWL_WL_MED,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,
        RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE
        autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

T24gTW9uLCAyMDIyLTExLTA3IGF0IDEwOjU2ICswMjAwLCBSb2dlciBRdWFkcm9zIHdyb3RlOg0K
PiANCj4gT24gMDcvMTEvMjAyMiAxMDo1MywgUm9nZXIgUXVhZHJvcyB3cm90ZToNCj4gPiBIaSBC
ZW5lZGlrdCwNCj4gPiANCj4gPiBPbiAwNC8xMS8yMDIyIDIxOjMzLCBjb3Zlcml0eS1ib3Qgd3Jv
dGU6DQo+ID4gPiBIZWxsbyENCj4gPiA+IA0KPiA+ID4gVGhpcyBpcyBhbiBleHBlcmltZW50YWwg
c2VtaS1hdXRvbWF0ZWQgcmVwb3J0IGFib3V0IGlzc3VlcyBkZXRlY3RlZCBieQ0KPiA+ID4gQ292
ZXJpdHkgZnJvbSBhIHNjYW4gb2YgbmV4dC0yMDIyMTEwNCBhcyBwYXJ0IG9mIHRoZSBsaW51eC1u
ZXh0IHNjYW4gcHJvamVjdDoNCj4gPiA+IGh0dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnByb3RlY3Rp
b24ub3V0bG9vay5jb20vP3VybD1odHRwcyUzQSUyRiUyRnNjYW4uY292ZXJpdHkuY29tJTJGcHJv
amVjdHMlMkZsaW51eC1uZXh0LXdlZWtseS1zY2FuJmFtcDtkYXRhPTA1JTdDMDElN0NiZW5lZGlr
dC5uaWVkZXJtYXlyJTQwc2llbWVucy5jb20lN0MxYTI1Y2M4NzA0NTI0ZjI0MjI0MTA4ZGFjMDlk
ZmFiNyU3QzM4YWUzYmNkOTU3OTRmZDRhZGRhYjQyZTE0OTVkNTVhJTdDMSU3QzAlN0M2MzgwMzQw
ODE5OTQwODc0NjElN0NVbmtub3duJTdDVFdGcGJHWnNiM2Q4ZXlKV0lqb2lNQzR3TGpBd01EQWlM
Q0pRSWpvaVYybHVNeklpTENKQlRpSTZJazFoYVd3aUxDSlhWQ0k2TW4wJTNEJTdDMzAwMCU3QyU3
QyU3QyZhbXA7c2RhdGE9VzFLbEJLZzlud0VEZkZBYnFXNkp3N3YxZDQ2SFFMajhSWDh3bFo5Ukh5
YyUzRCZhbXA7cmVzZXJ2ZWQ9MA0KPiA+ID4gDQo+ID4gPiBZb3UncmUgZ2V0dGluZyB0aGlzIGVt
YWlsIGJlY2F1c2UgeW91IHdlcmUgYXNzb2NpYXRlZCB3aXRoIHRoZSBpZGVudGlmaWVkDQo+ID4g
PiBsaW5lcyBvZiBjb2RlIChub3RlZCBiZWxvdykgdGhhdCB3ZXJlIHRvdWNoZWQgYnkgY29tbWl0
czoNCj4gPiA+IA0KPiA+ID4gICBXZWQgTm92IDIgMTA6MDI6MzkgMjAyMiAtMDQwMA0KPiA+ID4g
ICAgIDg5YWVkM2NkNWNiOSAoIm1lbW9yeTogb21hcC1ncG1jOiB3YWl0IHBpbiBhZGRpdGlvbnMi
KQ0KPiA+ID4gDQo+ID4gPiBDb3Zlcml0eSByZXBvcnRlZCB0aGUgZm9sbG93aW5nOg0KPiA+ID4g
DQo+ID4gPiAqKiogQ0lEIDE1MjcxMzk6ICBDb250cm9sIGZsb3cgaXNzdWVzICAoTk9fRUZGRUNU
KQ0KPiA+ID4gZHJpdmVycy9tZW1vcnkvb21hcC1ncG1jLmM6MTA0OCBpbiBncG1jX2lzX3ZhbGlk
X3dhaXRwaW4oKQ0KPiA+ID4gMTA0MiAgICAgCXNwaW5fdW5sb2NrKCZncG1jX21lbV9sb2NrKTsN
Cj4gPiA+IDEwNDMgICAgIH0NCj4gPiA+IDEwNDQgICAgIEVYUE9SVF9TWU1CT0woZ3BtY19jc19m
cmVlKTsNCj4gPiA+IDEwNDUNCj4gPiA+IDEwNDYgICAgIHN0YXRpYyBib29sIGdwbWNfaXNfdmFs
aWRfd2FpdHBpbih1MzIgd2FpdHBpbikNCj4gPiANCj4gPiBXZSB3aWxsIG5lZWQgdG8gY2hhbmdl
IHRoaXMgd2FpdHBpbiBhcmd1bWVudCB0byBpbnQuDQo+ID4gSW4gYWRkaXRpb24gd2Ugd2lsbCBh
bHNvIG5lZWQgdG8gY2hhbmdlDQo+ID4gc3RydWN0IGdwbWNfd2FpdHBpbi0+cGluIGFuZCBzdHJ1
Y3QgZ3BtY19zZXR0aW5nLT53YWl0X3Bpbg0KPiA+IHRvIGludCBhcyBpbiB0aGUgY29kZSB3ZSBh
cmUgcmVseWluZyBvbiBHUE1DX1dBSVRQSU5fSU5WQUxJRCBsb2dpYyB3aGljaCBpcyAtMS4NCj4g
DQo+IEFub3RoZXIgYWx0ZXJuYXRpdmUgd2l0aCBsZXNzIGNodXJuIGlzIHRvIGxlYXZlIHRoZW0g
YXMgdTMyDQo+IGJ1dCBtYWtlIEdQTUNfV0FJVFBJTl9JTlZBTElEIHNldCB0byBhIGxhcmdlIHBv
c2l0aXZlIG51bWJlci4NCk9rLCBJIHdpbGwgZml4IHRoYXQuIA0KRG8gSSBuZWVkIHRvIHNlbmQg
YSBuZXcgZml4LXBhdGNoIG9uIHRvcCB0aGUgY3VycmVudCBwYXRjaCBzZXJpZXM/IA0KT3Igc2hv
dWxkIEkganVzdCBzZW5kIG9ubHkgdGhlIGJ1Z2ZpeC1wYXRjaCBmb3IgdGhlIGNvdmVyaXR5LWJv
dD8gDQoNCg0KPiANCj4gPiA+IDEwNDcgICAgIHsNCj4gPiA+IHZ2diAgICAgQ0lEIDE1MjcxMzk6
ICBDb250cm9sIGZsb3cgaXNzdWVzICAoTk9fRUZGRUNUKQ0KPiA+ID4gdnZ2ICAgICBUaGlzIGdy
ZWF0ZXItdGhhbi1vci1lcXVhbC10by16ZXJvIGNvbXBhcmlzb24gb2YgYW4gdW5zaWduZWQgdmFs
dWUgaXMgYWx3YXlzIHRydWUuICJ3YWl0cGluID49IDBVIi4NCj4gPiA+IDEwNDggICAgIAlyZXR1
cm4gd2FpdHBpbiA+PSAwICYmIHdhaXRwaW4gPCBncG1jX25yX3dhaXRwaW5zOw0KPiA+ID4gMTA0
OSAgICAgfQ0KPiA+ID4gMTA1MA0KPiA+ID4gMTA1MSAgICAgc3RhdGljIGludCBncG1jX2FsbG9j
X3dhaXRwaW4oc3RydWN0IGdwbWNfZGV2aWNlICpncG1jLA0KPiA+ID4gMTA1MiAgICAgCQkJICAg
ICAgc3RydWN0IGdwbWNfc2V0dGluZ3MgKnApDQo+ID4gPiAxMDUzICAgICB7DQo+ID4gPiANCj4g
PiA+IElmIHRoaXMgaXMgYSBmYWxzZSBwb3NpdGl2ZSwgcGxlYXNlIGxldCB1cyBrbm93IHNvIHdl
IGNhbiBtYXJrIGl0IGFzDQo+ID4gPiBzdWNoLCBvciB0ZWFjaCB0aGUgQ292ZXJpdHkgcnVsZXMg
dG8gYmUgc21hcnRlci4gSWYgbm90LCBwbGVhc2UgbWFrZQ0KPiA+ID4gc3VyZSBmaXhlcyBnZXQg
aW50byBsaW51eC1uZXh0LiA6KSBGb3IgcGF0Y2hlcyBmaXhpbmcgdGhpcywgcGxlYXNlDQo+ID4g
PiBpbmNsdWRlIHRoZXNlIGxpbmVzIChidXQgZG91YmxlLWNoZWNrIHRoZSAiRml4ZXMiIGZpcnN0
KToNCj4gPiA+IA0KPiA+ID4gUmVwb3J0ZWQtYnk6IGNvdmVyaXR5LWJvdCA8a2Vlc2Nvb2srY292
ZXJpdHktYm90QGNocm9taXVtLm9yZz4NCj4gPiA+IEFkZHJlc3Nlcy1Db3Zlcml0eS1JRDogMTUy
NzEzOSAoIkNvbnRyb2wgZmxvdyBpc3N1ZXMiKQ0KPiA+ID4gRml4ZXM6IDg5YWVkM2NkNWNiOSAo
Im1lbW9yeTogb21hcC1ncG1jOiB3YWl0IHBpbiBhZGRpdGlvbnMiKQ0KPiA+ID4gDQo+ID4gPiBU
aGFua3MgZm9yIHlvdXIgYXR0ZW50aW9uIQ0KPiA+ID4gDQo+IA0KPiBjaGVlcnMsDQo+IC1yb2dl
cg0KY2hlZXJzLA0KYmVuZWRpa3QNCg0K