new_texture_info 1047 src/runtime/opengl.cpp         (void) new_texture_info(tex, buf, halide_allocated);
new_texture_info 2098 src/runtime/opengl.cpp     (void) new_texture_info(texture_id, buf, /* halide_allocated */ false);
new_texture_info 2122 src/runtime/opengl.cpp     (void) new_texture_info(tex, buf, /* halide_allocated */ false);