CBMC
gcc_builtin_headers_power.h
Go to the documentation of this file.