xen-project/xen
1
0 Fork 1
mirror of https://github.com/xen-project/xen.git synced 2026-10-28 10:11:27 +01:00
Code Issues Activity
Files
eb912011076e76f6c5e4013616a61ba670e7fc15
xen/misc/coverity
T
History
Andrew Cooper 5a88f6fede misc/coverity: Model __builtin_unreachable() 
This resolves 23 issues Coverity had identified by following the false path of
an ASSERT().

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
2014-09-25 12:00:07 +02:00
..
model.c
misc/coverity: Model __builtin_unreachable()
2014-09-25 12:00:07 +02:00