cprover
Loading...
Searching...
No Matches
gcc_builtin_headers_types_gcc7plus.h File Reference

Go to the source code of this file.

Typedefs

typedef _Float16 __gcc_v8hf __attribute__((__vector_size__(16)))
 

Typedef Documentation

◆ __attribute__

Definition at line 1 of file gcc_builtin_headers_types_gcc7plus.h.