From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x541.google.com (mail-ed1-x541.google.com [IPv6:2a00:1450:4864:20::541]) by gabe.freedesktop.org (Postfix) with ESMTPS id 465226E0E1 for ; Tue, 30 Oct 2018 15:29:48 +0000 (UTC) Received: by mail-ed1-x541.google.com with SMTP id b7-v6so10853660edd.9 for ; Tue, 30 Oct 2018 08:29:48 -0700 (PDT) Date: Tue, 30 Oct 2018 16:29:44 +0100 From: Daniel Vetter Message-ID: <20181030152944.GS21967@phenom.ffwll.local> References: <20181030141508.12451-1-petri.latvala@intel.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20181030141508.12451-1-petri.latvala@intel.com> Subject: Re: [igt-dev] [PATCH i-g-t 1/1] lib: Help static analyzers figure out the execution flow List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: igt-dev-bounces@lists.freedesktop.org Sender: "igt-dev" To: Petri Latvala Cc: igt-dev@lists.freedesktop.org List-ID: T24gVHVlLCBPY3QgMzAsIDIwMTggYXQgMDQ6MTU6MDhQTSArMDIwMCwgUGV0cmkgTGF0dmFsYSB3 cm90ZToKPiBXaGVuIHJ1bm5pbmcgYW55IGtpbmQgb2Ygc3RhdGljIGFuYWx5c2lzIG9uIElHVCwg b25lIHRlbmRzIHRvIGRyb3duIGluCj4gd2FybmluZ3MgYWJvdXQgdXNpbmcgdW5pbml0aWFsaXpl ZCB2YXJpYWJsZXMgaW4gc3VidGVzdHMsIGJlY2F1c2UKPiBzdGF0aWMgYW5hbHlzaXMgaXMgdW5h YmxlIHRvIGZpZ3VyZSBvdXQgdGhhdCBpZ3RfZml4dHVyZSBibG9ja3MgYXJlCj4gYWx3YXlzIGVu dGVyZWQgaWYgYSBzdWJ0ZXN0IGJsb2NrIGlzIGVudGVyZWQuIEFpZCB0aGUgZGlzY292ZXJ5IG9m Cj4gY29ycmVjdCBleGVjdXRpb24gZmxvdyBieSBtYWtpbmcgc3RhdGljIGFuYWx5c2lzIGFsd2F5 cyBlbnRlciBhbGwKPiBpZ3RfZml4dHVyZSBibG9ja3MgYW5kIGFsbCBzdWJ0ZXN0IGJsb2Nrcy4K PiAKPiBBdXRvbWF0aWMgZGlzY292ZXJ5IG9mIHN0YXRpYyBhbmFseXplcnMgaXMgZG9uZSBmb3Ig Q2xhbmcsIENvdmVyaXR5Cj4gYW5kIEtsb2N3b3JrLCB1c2luZyBtYWNyb3MgZm91bmQgYnkgcXVp Y2sgZ29vZ2xpbmcuIEZvciBleHBsaWNpdAo+IGNvbnRyb2wgb24gcG9zc2libGUgb3RoZXIgYW5h bHl6ZXJzLCBkZWZpbmluZyBTVEFUSUNfQU5BTFlTSVNfQlVJTEQ9MQo+IG1hbnVhbGx5IHdpbGwg YWN0aXZhdGUgdGhpcyBoYWNrLgo+IAo+IFNpZ25lZC1vZmYtYnk6IFBldHJpIExhdHZhbGEgPHBl dHJpLmxhdHZhbGFAaW50ZWwuY29tPgoKSSBndWVzcyBpZiBpdCBoZWxwcywgdGhpcyBtYWtlcyBz ZW5zZS4KClJldmlld2VkLWJ5OiBEYW5pZWwgVmV0dGVyIDxkYW5pZWwudmV0dGVyQGZmd2xsLmNo PgoKPiAtLS0KPiBsaWIvaWd0X2NvcmUuaCB8IDI1ICsrKysrKysrKysrKysrKysrKy0tLS0tLS0K PiAgMSBmaWxlIGNoYW5nZWQsIDE4IGluc2VydGlvbnMoKyksIDcgZGVsZXRpb25zKC0pCj4gCj4g ZGlmZiAtLWdpdCBhL2xpYi9pZ3RfY29yZS5oIGIvbGliL2lndF9jb3JlLmgKPiBpbmRleCBiODBl MTcwMi4uMGY2NDNmNmIgMTAwNjQ0Cj4gLS0tIGEvbGliL2lndF9jb3JlLmgKPiArKysgYi9saWIv aWd0X2NvcmUuaAo+IEBAIC00Niw2ICs0NiwxNCBAQAo+ICAjZW5kaWYKPiAgCj4gIAo+ICsjaWZu ZGVmIFNUQVRJQ19BTkFMWVNJU19CVUlMRAo+ICsjaWYgZGVmaW5lZChfX2NsYW5nX2FuYWx5emVy X18pIHx8IGRlZmluZWQoX19DT1ZFUklUWV9fKSB8fCBkZWZpbmVkKF9fS0xPQ1dPUktfXykKPiAr I2RlZmluZSBTVEFUSUNfQU5BTFlTSVNfQlVJTEQgMQo+ICsjZWxzZQo+ICsjZGVmaW5lIFNUQVRJ Q19BTkFMWVNJU19CVUlMRCAwCj4gKyNlbmRpZgo+ICsjZW5kaWYKPiArCj4gIGV4dGVybiBjb25z dCBjaGFyKiBfX2lndF90ZXN0X2Rlc2NyaXB0aW9uIF9fYXR0cmlidXRlX18oKHdlYWspKTsKPiAg ZXh0ZXJuIGJvb2wgX19pZ3RfcGxhaW5fb3V0cHV0Owo+ICBleHRlcm4gY2hhciAqaWd0X2ZyYW1l X2R1bXBfcGF0aDsKPiBAQCAtMTA5LDkgKzExNywxMCBAQCB2b2lkIF9faWd0X2ZpeHR1cmVfZW5k KHZvaWQpIF9fYXR0cmlidXRlX18oKG5vcmV0dXJuKSk7Cj4gICAqIGJsb2NrcyBzaG91bGQgYmUg YW5ub3RhdGVkIHdpdGggaWd0X2ZpeHR1cmUuCj4gICAqLwo+ICAjZGVmaW5lIGlndF9maXh0dXJl IGZvciAodm9sYXRpbGUgaW50IGlndF90b2tlbmNhdChfX3RtcGludCxfX0xJTkVfXykgPSAwOyBc Cj4gKyAgICAgICAgICAgICAgICAgICAgICAgICBTVEFUSUNfQU5BTFlTSVNfQlVJTEQgfHwgKCBc Cj4gIAkJCSBpZ3RfdG9rZW5jYXQoX190bXBpbnQsX19MSU5FX18pIDwgMSAmJiBcCj4gIAkJCSBf X2lndF9maXh0dXJlKCkgJiYgXAo+IC0JCQkgKHNpZ3NldGptcChpZ3Rfc3VidGVzdF9qbXBidWYs IDEpID09IDApOyBcCj4gKwkJCSAoc2lnc2V0am1wKGlndF9zdWJ0ZXN0X2ptcGJ1ZiwgMSkgPT0g MCkpOyBcCj4gIAkJCSBpZ3RfdG9rZW5jYXQoX190bXBpbnQsX19MSU5FX18pICsrLCBcCj4gIAkJ CSBfX2lndF9maXh0dXJlX2NvbXBsZXRlKCkpCj4gIAo+IEBAIC0xNjksMTUgKzE3OCwxNyBAQCBi b29sIF9faWd0X3J1bl9zdWJ0ZXN0KGNvbnN0IGNoYXIgKnN1YnRlc3RfbmFtZSk7Cj4gICAqCj4g ICAqIFRoaXMgaXMgYSBzaW1wbGVyIHZlcnNpb24gb2YgaWd0X3N1YnRlc3RfZigpCj4gICAqLwo+ IC0jZGVmaW5lIGlndF9zdWJ0ZXN0KG5hbWUpIGZvciAoOyBfX2lndF9ydW5fc3VidGVzdCgobmFt ZSkpICYmIFwKPiAtCQkJCSAgIChzaWdzZXRqbXAoaWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAw KTsgXAo+IC0JCQkJICAgaWd0X3N1Y2Nlc3MoKSkKPiArI2RlZmluZSBpZ3Rfc3VidGVzdChuYW1l KSBmb3IgKDsgU1RBVElDX0FOQUxZU0lTX0JVSUxEIHx8CQlcCj4gKwkJCQkgICAgICAgKF9faWd0 X3J1bl9zdWJ0ZXN0KChuYW1lKSkgJiYJXAo+ICsJCQkJCShzaWdzZXRqbXAoaWd0X3N1YnRlc3Rf am1wYnVmLCAxKSA9PSAwKSk7IFwKPiArICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg IGlndF9zdWNjZXNzKCkpCj4gICNkZWZpbmUgX19pZ3Rfc3VidGVzdF9mKHRtcCwgZm9ybWF0Li4u KSBcCj4gIAlmb3IgKGNoYXIgdG1wIFsyNTZdOyBcCj4gLQkgICAgIHNucHJpbnRmKCB0bXAgLCBz aXplb2YoIHRtcCApLCBcCj4gKwkgICAgIFNUQVRJQ19BTkFMWVNJU19CVUlMRCB8fCBcCj4gKwkg ICAgICgoc25wcmludGYoIHRtcCAsIHNpemVvZiggdG1wICksIFwKPiAgCQkgICAgICBmb3JtYXQp LCBcCj4gLQkgICAgIF9faWd0X3J1bl9zdWJ0ZXN0KCB0bXAgKSAmJiBcCj4gLQkgICAgIChzaWdz ZXRqbXAoaWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAwKTsgXAo+ICsJICAgICAgIF9faWd0X3J1 bl9zdWJ0ZXN0KCB0bXAgKSkgJiYgXAo+ICsJICAgICAgKHNpZ3NldGptcChpZ3Rfc3VidGVzdF9q bXBidWYsIDEpID09IDApKTsgXAo+ICAJICAgICBpZ3Rfc3VjY2VzcygpKQo+ICAKPiAgLyoqCj4g LS0gCj4gMi4xOC4wCj4gCj4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18KPiBpZ3QtZGV2IG1haWxpbmcgbGlzdAo+IGlndC1kZXZAbGlzdHMuZnJlZWRlc2t0 b3Aub3JnCj4gaHR0cHM6Ly9saXN0cy5mcmVlZGVza3RvcC5vcmcvbWFpbG1hbi9saXN0aW5mby9p Z3QtZGV2CgotLSAKRGFuaWVsIFZldHRlcgpTb2Z0d2FyZSBFbmdpbmVlciwgSW50ZWwgQ29ycG9y YXRpb24KaHR0cDovL2Jsb2cuZmZ3bGwuY2gKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18KaWd0LWRldiBtYWlsaW5nIGxpc3QKaWd0LWRldkBsaXN0cy5mcmVl ZGVza3RvcC5vcmcKaHR0cHM6Ly9saXN0cy5mcmVlZGVza3RvcC5vcmcvbWFpbG1hbi9saXN0aW5m by9pZ3QtZGV2Cg==