ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
host_defines.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define __inline__
#define __specialization_static   static
#define __annotate__(a)
#define __builtin_align__(a)
#define __host__   __location__(host)
#define __device__   __location__(device)
#define __global__   __location__(global)
#define __shared__   __location__(shared)
#define __constant__   __location__(constant)
#define __managed__   __location__(managed)
#define __device_builtin__
#define __device_builtin_texture_type__
#define __device_builtin_surface_type__
#define __cudart_builtin__

Macro Definition Documentation

◆ __annotate__

#define __annotate__ ( a)

◆ __builtin_align__

#define __builtin_align__ ( a)

◆ __constant__

#define __constant__   __location__(constant)

◆ __cudart_builtin__

#define __cudart_builtin__

◆ __device__

#define __device__   __location__(device)

◆ __device_builtin__

#define __device_builtin__

◆ __device_builtin_surface_type__

#define __device_builtin_surface_type__

◆ __device_builtin_texture_type__

#define __device_builtin_texture_type__

◆ __global__

#define __global__   __location__(global)

◆ __host__

#define __host__   __location__(host)

◆ __inline__

#define __inline__

◆ __managed__

#define __managed__   __location__(managed)

◆ __shared__

#define __shared__   __location__(shared)

◆ __specialization_static

#define __specialization_static   static