From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <igt-dev-bounces@lists.freedesktop.org>
Received: from mga04.intel.com (mga04.intel.com [192.55.52.120])
 by gabe.freedesktop.org (Postfix) with ESMTPS id 6692F89AEA
 for <igt-dev@lists.freedesktop.org>; Tue, 30 Oct 2018 14:15:14 +0000 (UTC)
From: Petri Latvala <petri.latvala@intel.com>
Date: Tue, 30 Oct 2018 16:15:08 +0200
Message-Id: <20181030141508.12451-1-petri.latvala@intel.com>
Subject: [igt-dev] [PATCH i-g-t 1/1] lib: Help static analyzers figure out
 the execution flow
List-Unsubscribe: <https://lists.freedesktop.org/mailman/options/igt-dev>,
 <mailto:igt-dev-request@lists.freedesktop.org?subject=unsubscribe>
List-Archive: <https://lists.freedesktop.org/archives/igt-dev>
List-Post: <mailto:igt-dev@lists.freedesktop.org>
List-Help: <mailto:igt-dev-request@lists.freedesktop.org?subject=help>
List-Subscribe: <https://lists.freedesktop.org/mailman/listinfo/igt-dev>,
 <mailto:igt-dev-request@lists.freedesktop.org?subject=subscribe>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Errors-To: igt-dev-bounces@lists.freedesktop.org
Sender: "igt-dev" <igt-dev-bounces@lists.freedesktop.org>
To: igt-dev@lists.freedesktop.org
Cc: Petri Latvala <petri.latvala@intel.com>
List-ID: <igt-dev@lists.freedesktop.org>

V2hlbiBydW5uaW5nIGFueSBraW5kIG9mIHN0YXRpYyBhbmFseXNpcyBvbiBJR1QsIG9uZSB0ZW5k
cyB0byBkcm93biBpbgp3YXJuaW5ncyBhYm91dCB1c2luZyB1bmluaXRpYWxpemVkIHZhcmlhYmxl
cyBpbiBzdWJ0ZXN0cywgYmVjYXVzZQpzdGF0aWMgYW5hbHlzaXMgaXMgdW5hYmxlIHRvIGZpZ3Vy
ZSBvdXQgdGhhdCBpZ3RfZml4dHVyZSBibG9ja3MgYXJlCmFsd2F5cyBlbnRlcmVkIGlmIGEgc3Vi
dGVzdCBibG9jayBpcyBlbnRlcmVkLiBBaWQgdGhlIGRpc2NvdmVyeSBvZgpjb3JyZWN0IGV4ZWN1
dGlvbiBmbG93IGJ5IG1ha2luZyBzdGF0aWMgYW5hbHlzaXMgYWx3YXlzIGVudGVyIGFsbAppZ3Rf
Zml4dHVyZSBibG9ja3MgYW5kIGFsbCBzdWJ0ZXN0IGJsb2Nrcy4KCkF1dG9tYXRpYyBkaXNjb3Zl
cnkgb2Ygc3RhdGljIGFuYWx5emVycyBpcyBkb25lIGZvciBDbGFuZywgQ292ZXJpdHkKYW5kIEts
b2N3b3JrLCB1c2luZyBtYWNyb3MgZm91bmQgYnkgcXVpY2sgZ29vZ2xpbmcuIEZvciBleHBsaWNp
dApjb250cm9sIG9uIHBvc3NpYmxlIG90aGVyIGFuYWx5emVycywgZGVmaW5pbmcgU1RBVElDX0FO
QUxZU0lTX0JVSUxEPTEKbWFudWFsbHkgd2lsbCBhY3RpdmF0ZSB0aGlzIGhhY2suCgpTaWduZWQt
b2ZmLWJ5OiBQZXRyaSBMYXR2YWxhIDxwZXRyaS5sYXR2YWxhQGludGVsLmNvbT4KLS0tCmxpYi9p
Z3RfY29yZS5oIHwgMjUgKysrKysrKysrKysrKysrKysrLS0tLS0tLQogMSBmaWxlIGNoYW5nZWQs
IDE4IGluc2VydGlvbnMoKyksIDcgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvbGliL2lndF9j
b3JlLmggYi9saWIvaWd0X2NvcmUuaAppbmRleCBiODBlMTcwMi4uMGY2NDNmNmIgMTAwNjQ0Ci0t
LSBhL2xpYi9pZ3RfY29yZS5oCisrKyBiL2xpYi9pZ3RfY29yZS5oCkBAIC00Niw2ICs0NiwxNCBA
QAogI2VuZGlmCiAKIAorI2lmbmRlZiBTVEFUSUNfQU5BTFlTSVNfQlVJTEQKKyNpZiBkZWZpbmVk
KF9fY2xhbmdfYW5hbHl6ZXJfXykgfHwgZGVmaW5lZChfX0NPVkVSSVRZX18pIHx8IGRlZmluZWQo
X19LTE9DV09SS19fKQorI2RlZmluZSBTVEFUSUNfQU5BTFlTSVNfQlVJTEQgMQorI2Vsc2UKKyNk
ZWZpbmUgU1RBVElDX0FOQUxZU0lTX0JVSUxEIDAKKyNlbmRpZgorI2VuZGlmCisKIGV4dGVybiBj
b25zdCBjaGFyKiBfX2lndF90ZXN0X2Rlc2NyaXB0aW9uIF9fYXR0cmlidXRlX18oKHdlYWspKTsK
IGV4dGVybiBib29sIF9faWd0X3BsYWluX291dHB1dDsKIGV4dGVybiBjaGFyICppZ3RfZnJhbWVf
ZHVtcF9wYXRoOwpAQCAtMTA5LDkgKzExNywxMCBAQCB2b2lkIF9faWd0X2ZpeHR1cmVfZW5kKHZv
aWQpIF9fYXR0cmlidXRlX18oKG5vcmV0dXJuKSk7CiAgKiBibG9ja3Mgc2hvdWxkIGJlIGFubm90
YXRlZCB3aXRoIGlndF9maXh0dXJlLgogICovCiAjZGVmaW5lIGlndF9maXh0dXJlIGZvciAodm9s
YXRpbGUgaW50IGlndF90b2tlbmNhdChfX3RtcGludCxfX0xJTkVfXykgPSAwOyBcCisgICAgICAg
ICAgICAgICAgICAgICAgICAgU1RBVElDX0FOQUxZU0lTX0JVSUxEIHx8ICggXAogCQkJIGlndF90
b2tlbmNhdChfX3RtcGludCxfX0xJTkVfXykgPCAxICYmIFwKIAkJCSBfX2lndF9maXh0dXJlKCkg
JiYgXAotCQkJIChzaWdzZXRqbXAoaWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAwKTsgXAorCQkJ
IChzaWdzZXRqbXAoaWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAwKSk7IFwKIAkJCSBpZ3RfdG9r
ZW5jYXQoX190bXBpbnQsX19MSU5FX18pICsrLCBcCiAJCQkgX19pZ3RfZml4dHVyZV9jb21wbGV0
ZSgpKQogCkBAIC0xNjksMTUgKzE3OCwxNyBAQCBib29sIF9faWd0X3J1bl9zdWJ0ZXN0KGNvbnN0
IGNoYXIgKnN1YnRlc3RfbmFtZSk7CiAgKgogICogVGhpcyBpcyBhIHNpbXBsZXIgdmVyc2lvbiBv
ZiBpZ3Rfc3VidGVzdF9mKCkKICAqLwotI2RlZmluZSBpZ3Rfc3VidGVzdChuYW1lKSBmb3IgKDsg
X19pZ3RfcnVuX3N1YnRlc3QoKG5hbWUpKSAmJiBcCi0JCQkJICAgKHNpZ3NldGptcChpZ3Rfc3Vi
dGVzdF9qbXBidWYsIDEpID09IDApOyBcCi0JCQkJICAgaWd0X3N1Y2Nlc3MoKSkKKyNkZWZpbmUg
aWd0X3N1YnRlc3QobmFtZSkgZm9yICg7IFNUQVRJQ19BTkFMWVNJU19CVUlMRCB8fAkJXAorCQkJ
CSAgICAgICAoX19pZ3RfcnVuX3N1YnRlc3QoKG5hbWUpKSAmJglcCisJCQkJCShzaWdzZXRqbXAo
aWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAwKSk7IFwKKyAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICBpZ3Rfc3VjY2VzcygpKQogI2RlZmluZSBfX2lndF9zdWJ0ZXN0X2YodG1wLCBm
b3JtYXQuLi4pIFwKIAlmb3IgKGNoYXIgdG1wIFsyNTZdOyBcCi0JICAgICBzbnByaW50ZiggdG1w
ICwgc2l6ZW9mKCB0bXAgKSwgXAorCSAgICAgU1RBVElDX0FOQUxZU0lTX0JVSUxEIHx8IFwKKwkg
ICAgICgoc25wcmludGYoIHRtcCAsIHNpemVvZiggdG1wICksIFwKIAkJICAgICAgZm9ybWF0KSwg
XAotCSAgICAgX19pZ3RfcnVuX3N1YnRlc3QoIHRtcCApICYmIFwKLQkgICAgIChzaWdzZXRqbXAo
aWd0X3N1YnRlc3Rfam1wYnVmLCAxKSA9PSAwKTsgXAorCSAgICAgICBfX2lndF9ydW5fc3VidGVz
dCggdG1wICkpICYmIFwKKwkgICAgICAoc2lnc2V0am1wKGlndF9zdWJ0ZXN0X2ptcGJ1ZiwgMSkg
PT0gMCkpOyBcCiAJICAgICBpZ3Rfc3VjY2VzcygpKQogCiAvKioKLS0gCjIuMTguMAoKX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KaWd0LWRldiBtYWlsaW5n
IGxpc3QKaWd0LWRldkBsaXN0cy5mcmVlZGVza3RvcC5vcmcKaHR0cHM6Ly9saXN0cy5mcmVlZGVz
a3RvcC5vcmcvbWFpbG1hbi9saXN0aW5mby9pZ3QtZGV2Cg==