CBMC
Loading...
Searching...
No Matches
windows_builtin_headers.h
Go to the documentation of this file.
1// clang-format off
2int __assume(int);
3unsigned short __lzcnt16(unsigned short value);
4unsigned int __lzcnt(unsigned int value);
5unsigned __int64 __lzcnt64(unsigned __int64 value);
6// clang-format on
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
__assume
int __assume(int)
__lzcnt
unsigned int __lzcnt(unsigned int value)
__lzcnt16
unsigned short __lzcnt16(unsigned short value)
__lzcnt64
unsigned __int64 __lzcnt64(unsigned __int64 value)