_GL_ATTRIBUTE_DEPRECATED  758 include/config.h # define _GL_ATTRIBUTE_DEPRECATED [[__deprecated__]]
_GL_ATTRIBUTE_DEPRECATED  760 include/config.h # define _GL_ATTRIBUTE_DEPRECATED __attribute__ ((__deprecated__))
_GL_ATTRIBUTE_DEPRECATED  762 include/config.h # define _GL_ATTRIBUTE_DEPRECATED