[PATCH 16/18] xencrsh: Annotate __Decode as _Success_

[Césaire Mounah <cesaire.mounah@xxxxxxxxxx>]

Add _Success_(return <= 2) so that code
analysis does not expect Dest to be written on failure.
No functional change.

Signed-off-by: Césaire Mounah <cesaire.mounah@xxxxxxxxxx>
---
 src/xencrsh/pdoinquiry.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/xencrsh/pdoinquiry.c b/src/xencrsh/pdoinquiry.c
index 9726043..97db301 100644
--- a/src/xencrsh/pdoinquiry.c
+++ b/src/xencrsh/pdoinquiry.c
@@ -231,6 +231,7 @@ __DecodeChar(
     
     return 0xFF;
 }
+_Success_(return <= 2)
 static FORCEINLINE UCHAR
 __Decode(
     _Out_writes_(3) PUCHAR              Dest,
-- 
2.55.0.windows.5



--
Césaire Mounah | Vates Windows Guest Tools Engineer

XCP-ng & Xen Orchestra - Vates solutions

web: https://vates.tech