From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <igt-dev-bounces@lists.freedesktop.org>
Received: from mga17.intel.com (mga17.intel.com [192.55.52.151])
 by gabe.freedesktop.org (Postfix) with ESMTPS id 8089F6E2A7
 for <igt-dev@lists.freedesktop.org>; Wed, 31 Oct 2018 11:30:55 +0000 (UTC)
From: Petri Latvala <petri.latvala@intel.com>
Date: Wed, 31 Oct 2018 13:30:43 +0200
Message-Id: <20181031113043.3673-1-petri.latvala@intel.com>
In-Reply-To: <20181030141508.12451-1-petri.latvala@intel.com>
References: <20181030141508.12451-1-petri.latvala@intel.com>
Subject: [igt-dev] [PATCH i-g-t v2 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
QUxZU0lTX0JVSUxEPTEKbWFudWFsbHkgd2lsbCBhY3RpdmF0ZSB0aGlzIGhhY2suCgp2MjoKIC0g
SGFjayBub3QgbmVlZGVkIGZvciBpZ3Rfc3VidGVzdCgpCiAtIE1ha2Ugc3VyZSBpZ3RfZml4dHVy
ZSBpcyBlbnRlcmVkIG9uY2UgaW5zdGVhZCBvZiBhbiBpbmZpbml0ZSBsb29wCgpTaWduZWQtb2Zm
LWJ5OiBQZXRyaSBMYXR2YWxhIDxwZXRyaS5sYXR2YWxhQGludGVsLmNvbT4KUmV2aWV3ZWQtYnk6
IERhbmllbCBWZXR0ZXIgPGRhbmllbC52ZXR0ZXJAZmZ3bGwuY2g+ICMgdjEKLS0tCiBsaWIvaWd0
X2NvcmUuaCB8IDEzICsrKysrKysrKysrLS0KIDEgZmlsZSBjaGFuZ2VkLCAxMSBpbnNlcnRpb25z
KCspLCAyIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL2xpYi9pZ3RfY29yZS5oIGIvbGliL2ln
dF9jb3JlLmgKaW5kZXggYjgwZTE3MDIuLmM5ODE1YTM2IDEwMDY0NAotLS0gYS9saWIvaWd0X2Nv
cmUuaAorKysgYi9saWIvaWd0X2NvcmUuaApAQCAtNDYsNiArNDYsMTQgQEAKICNlbmRpZgogCiAK
KyNpZm5kZWYgU1RBVElDX0FOQUxZU0lTX0JVSUxECisjaWYgZGVmaW5lZChfX2NsYW5nX2FuYWx5
emVyX18pIHx8IGRlZmluZWQoX19DT1ZFUklUWV9fKSB8fCBkZWZpbmVkKF9fS0xPQ1dPUktfXykK
KyNkZWZpbmUgU1RBVElDX0FOQUxZU0lTX0JVSUxEIDEKKyNlbHNlCisjZGVmaW5lIFNUQVRJQ19B
TkFMWVNJU19CVUlMRCAwCisjZW5kaWYKKyNlbmRpZgorCiBleHRlcm4gY29uc3QgY2hhciogX19p
Z3RfdGVzdF9kZXNjcmlwdGlvbiBfX2F0dHJpYnV0ZV9fKCh3ZWFrKSk7CiBleHRlcm4gYm9vbCBf
X2lndF9wbGFpbl9vdXRwdXQ7CiBleHRlcm4gY2hhciAqaWd0X2ZyYW1lX2R1bXBfcGF0aDsKQEAg
LTExMCw4ICsxMTgsOSBAQCB2b2lkIF9faWd0X2ZpeHR1cmVfZW5kKHZvaWQpIF9fYXR0cmlidXRl
X18oKG5vcmV0dXJuKSk7CiAgKi8KICNkZWZpbmUgaWd0X2ZpeHR1cmUgZm9yICh2b2xhdGlsZSBp
bnQgaWd0X3Rva2VuY2F0KF9fdG1waW50LF9fTElORV9fKSA9IDA7IFwKIAkJCSBpZ3RfdG9rZW5j
YXQoX190bXBpbnQsX19MSU5FX18pIDwgMSAmJiBcCi0JCQkgX19pZ3RfZml4dHVyZSgpICYmIFwK
LQkJCSAoc2lnc2V0am1wKGlndF9zdWJ0ZXN0X2ptcGJ1ZiwgMSkgPT0gMCk7IFwKKwkJCSAoU1RB
VElDX0FOQUxZU0lTX0JVSUxEIHx8CisJCQkgKF9faWd0X2ZpeHR1cmUoKSAmJiBcCisJCQkgKHNp
Z3NldGptcChpZ3Rfc3VidGVzdF9qbXBidWYsIDEpID09IDApKSk7IFwKIAkJCSBpZ3RfdG9rZW5j
YXQoX190bXBpbnQsX19MSU5FX18pICsrLCBcCiAJCQkgX19pZ3RfZml4dHVyZV9jb21wbGV0ZSgp
KQogCi0tIAoyLjE4LjAKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fCmlndC1kZXYgbWFpbGluZyBsaXN0CmlndC1kZXZAbGlzdHMuZnJlZWRlc2t0b3Aub3Jn
Cmh0dHBzOi8vbGlzdHMuZnJlZWRlc2t0b3Aub3JnL21haWxtYW4vbGlzdGluZm8vaWd0LWRldgo=