lib-ole.lnt

来自「PClint,一个非常严格的C/C++编译器, 可以嵌入到VC.GCC等.它甚至」· LNT 代码 · 共 9 行

// BSTR functions (part of OLE Automation)

-sem( SysAllocString, @p == malloc(1p) || @p == 0, 1p )
-sem( SysAllocStringByteLen, @P == malloc(2n)+1 || @p == 0 )
-sem( SysAllocStringLen, @p == malloc(2n)+1 || @p == 0 )
-sem( SysStringLen, @n == 1p - 1, 1p )
-function( free, SysFreeString )