Fix SAL annotations

Meghana Gupta · Meghana Gupta · commit 93a880964628 · 2017-01-10T11:34:48.000-08:00
diff --git a/lib/Backend/JITObjTypeSpecFldInfo.cpp b/lib/Backend/JITObjTypeSpecFldInfo.cpp
@@ -256,7 +256,7 @@ JITObjTypeSpecFldInfo::GetFixedFieldInfoArray()
 void
 JITObjTypeSpecFldInfo::BuildObjTypeSpecFldInfoArray(
     __in ArenaAllocator * alloc,
-    __in Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,
+    _In_reads_(arrayLength) Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,
     __in uint arrayLength,
     _Inout_updates_(arrayLength) ObjTypeSpecFldIDL * jitData)
 {
diff --git a/lib/Backend/JITObjTypeSpecFldInfo.h b/lib/Backend/JITObjTypeSpecFldInfo.h
@@ -56,7 +56,7 @@ class JITObjTypeSpecFldInfo
 
     static void BuildObjTypeSpecFldInfoArray(
         __in ArenaAllocator * alloc,
-        __in Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,
+        _In_reads_(arrayLength) Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,
         __in uint arrayLength,
         _Inout_updates_(arrayLength) ObjTypeSpecFldIDL * jitData);
 
diff --git a/lib/Backend/JITTimePolymorphicInlineCacheInfo.cpp b/lib/Backend/JITTimePolymorphicInlineCacheInfo.cpp
@@ -36,6 +36,7 @@ JITTimePolymorphicInlineCacheInfo::InitializeEntryPointPolymorphicInlineCacheInf
         while (iter.Next())
         {
             Js::PolymorphicInlineCacheInfo * inlineeInfo = iter.Data();
+            __analysis_assume(i < inlineeList->Count());
             JITTimePolymorphicInlineCacheInfo::InitializePolymorphicInlineCacheInfo(recycler, inlineeInfo, &inlineeInfoIDL[i]);
             ++i;
         }

Original file line number	Diff line number	Diff line change
`@@ -256,7 +256,7 @@ JITObjTypeSpecFldInfo::GetFixedFieldInfoArray()`
`256`	`256`	`void`
`257`	`257`	`JITObjTypeSpecFldInfo::BuildObjTypeSpecFldInfoArray(`
`258`	`258`	`__in ArenaAllocator * alloc,`
`259`		`- __in Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,`
	`259`	`+ _In_reads_(arrayLength) Js::ObjTypeSpecFldInfo ** objTypeSpecInfo,`
`260`	`260`	`__in uint arrayLength,`
`261`	`261`	`_Inout_updates_(arrayLength) ObjTypeSpecFldIDL * jitData)`
`262`	`262`	`{`
Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,7 @@ JITTimePolymorphicInlineCacheInfo::InitializeEntryPointPolymorphicInlineCacheInf`
`36`	`36`	`while (iter.Next())`
`37`	`37`	`{`
`38`	`38`	`Js::PolymorphicInlineCacheInfo * inlineeInfo = iter.Data();`
	`39`	`+ __analysis_assume(i < inlineeList->Count());`
`39`	`40`	`JITTimePolymorphicInlineCacheInfo::InitializePolymorphicInlineCacheInfo(recycler, inlineeInfo, &inlineeInfoIDL[i]);`
`40`	`41`	`++i;`
`41`	`42`	`}`