xen-project/xen
1
0 Fork 0
mirror of https://github.com/xen-project/xen.git synced 2026-10-28 02:01:24 +01:00
Code Issues Activity
Files
stable-4.13
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