DyadicOperator::MsvcBuiltinAllocationAnnotation (#87)

Document an MSVC-builtin for annotating runtime allocated object address with the dynamic type of the allocated object

Author: GabrielDosReis

ltx/exprs.tex

@@ -2190,6 +2190,7 @@ \subsection{Dyadic operators}
 	\enumerator{MsvcBuiltinIsCorrespondingMember}
 	\enumerator{MsvcIntrinsic}
 	\enumerator{MsvcSaturatedArithmetic}
+	\enumerator{MsvcBuiltinAllocationAnnotation}
 \end{Enumeration}
 
 \ifcSortSection{Unknown}{DyadicOperator} 
@@ -2496,6 +2497,9 @@ \subsection{Dyadic operators}
 If the arithmetic computation described by the first operand overflows, 
 then the result is the saturated value indicated by the second operand.
 
+\ifcSortSection{MsvcBuiltinAllocationAnnotation}{DyadicOperator}
+An MSVC intrinsic used to express the type of a runtime-allocated object at a given address.
+The first argument is the expression designating the allocated address; the second argument designates the type of the object allocated at that address.
 
 \subsection{Triadic operators}
 \label{sec:ifc:OperatorSort:Triadic}