From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <igt-dev-bounces@lists.freedesktop.org>
Received: from mga14.intel.com (mga14.intel.com [192.55.52.115])
 by gabe.freedesktop.org (Postfix) with ESMTPS id 212B86E2A7
 for <igt-dev@lists.freedesktop.org>; Wed, 31 Oct 2018 11:33:09 +0000 (UTC)
From: Petri Latvala <petri.latvala@intel.com>
Date: Wed, 31 Oct 2018 13:32:56 +0200
Message-Id: <20181031113256.7365-1-petri.latvala@intel.com>
In-Reply-To: <20181031113043.3673-1-petri.latvala@intel.com>
References: <20181031113043.3673-1-petri.latvala@intel.com>
Subject: [igt-dev] [PATCH i-g-t v3 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
ZSBpcyBlbnRlcmVkIG9uY2UgaW5zdGVhZCBvZiBhbiBpbmZpbml0ZSBsb29wCgp2MzoKIC0gUmVi
YXNlIHByb3Blcmx5Li4uCgpTaWduZWQtb2ZmLWJ5OiBQZXRyaSBMYXR2YWxhIDxwZXRyaS5sYXR2
YWxhQGludGVsLmNvbT4KUmV2aWV3ZWQtYnk6IERhbmllbCBWZXR0ZXIgPGRhbmllbC52ZXR0ZXJA
ZmZ3bGwuY2g+ICMgdjEKLS0tCiBsaWIvaWd0X2NvcmUuaCB8IDEzICsrKysrKysrKysrLS0KIDEg
ZmlsZSBjaGFuZ2VkLCAxMSBpbnNlcnRpb25zKCspLCAyIGRlbGV0aW9ucygtKQoKZGlmZiAtLWdp
dCBhL2xpYi9pZ3RfY29yZS5oIGIvbGliL2lndF9jb3JlLmgKaW5kZXggYjgwZTE3MDIuLjZmOGMz
ODUyIDEwMDY0NAotLS0gYS9saWIvaWd0X2NvcmUuaAorKysgYi9saWIvaWd0X2NvcmUuaApAQCAt
NDYsNiArNDYsMTQgQEAKICNlbmRpZgogCiAKKyNpZm5kZWYgU1RBVElDX0FOQUxZU0lTX0JVSUxE
CisjaWYgZGVmaW5lZChfX2NsYW5nX2FuYWx5emVyX18pIHx8IGRlZmluZWQoX19DT1ZFUklUWV9f
KSB8fCBkZWZpbmVkKF9fS0xPQ1dPUktfXykKKyNkZWZpbmUgU1RBVElDX0FOQUxZU0lTX0JVSUxE
IDEKKyNlbHNlCisjZGVmaW5lIFNUQVRJQ19BTkFMWVNJU19CVUlMRCAwCisjZW5kaWYKKyNlbmRp
ZgorCiBleHRlcm4gY29uc3QgY2hhciogX19pZ3RfdGVzdF9kZXNjcmlwdGlvbiBfX2F0dHJpYnV0
ZV9fKCh3ZWFrKSk7CiBleHRlcm4gYm9vbCBfX2lndF9wbGFpbl9vdXRwdXQ7CiBleHRlcm4gY2hh
ciAqaWd0X2ZyYW1lX2R1bXBfcGF0aDsKQEAgLTExMCw4ICsxMTgsOSBAQCB2b2lkIF9faWd0X2Zp
eHR1cmVfZW5kKHZvaWQpIF9fYXR0cmlidXRlX18oKG5vcmV0dXJuKSk7CiAgKi8KICNkZWZpbmUg
aWd0X2ZpeHR1cmUgZm9yICh2b2xhdGlsZSBpbnQgaWd0X3Rva2VuY2F0KF9fdG1waW50LF9fTElO
RV9fKSA9IDA7IFwKIAkJCSBpZ3RfdG9rZW5jYXQoX190bXBpbnQsX19MSU5FX18pIDwgMSAmJiBc
Ci0JCQkgX19pZ3RfZml4dHVyZSgpICYmIFwKLQkJCSAoc2lnc2V0am1wKGlndF9zdWJ0ZXN0X2pt
cGJ1ZiwgMSkgPT0gMCk7IFwKKwkJCSAoU1RBVElDX0FOQUxZU0lTX0JVSUxEIHx8IFwKKwkJCSAo
X19pZ3RfZml4dHVyZSgpICYmIFwKKwkJCSAoc2lnc2V0am1wKGlndF9zdWJ0ZXN0X2ptcGJ1Ziwg
MSkgPT0gMCkpKTsgXAogCQkJIGlndF90b2tlbmNhdChfX3RtcGludCxfX0xJTkVfXykgKyssIFwK
IAkJCSBfX2lndF9maXh0dXJlX2NvbXBsZXRlKCkpCiAKLS0gCjIuMTguMAoKX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KaWd0LWRldiBtYWlsaW5nIGxpc3QK
aWd0LWRldkBsaXN0cy5mcmVlZGVza3RvcC5vcmcKaHR0cHM6Ly9saXN0cy5mcmVlZGVza3RvcC5v
cmcvbWFpbG1hbi9saXN0aW5mby9pZ3QtZGV2Cg==