fdo-mirrors/mesa
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/mesa/mesa.git synced 2025-12-20 11:40:10 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

rusticl: verify validity of property names and values

Browse source 
v2: separate from using type aliases based on signature and reorder
v3: verify validity in two additional locations

Reviewed-by: Karol Herbst <kherbst@redhat.com>
Reviewed-by: @LingMan
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/34167>
This commit is contained in:
Seán de Búrca 2025-03-20 15:45:36 -07:00 • committed by Marge Bot
parent 62d8541f39
commit 2c202eb787
3 changed files with 17 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/gallium/frontends/rusticl/api/context.rs
View file

@ -80,7 +80,8 @@ pub fn get_gl_context_info_khr(
// SAFETY: properties is a 0 terminated array by spec.
let props = unsafe { Properties::new(properties) }.ok_or(CL_INVALID_PROPERTY)?;
for (&key, &val) in props.iter() {
match key as u32 {
let key = u32::try_from(key).or(Err(CL_INVALID_PROPERTY))?;
match key {
// CL_INVALID_PLATFORM [...] if platform value specified in properties is not a valid platform.
CL_CONTEXT_PLATFORM => {
(val as cl_platform_id).get_ref()?;
@ -143,7 +144,8 @@ fn create_context(
// SAFETY: properties is a 0 terminated array by spec.
let props = unsafe { Properties::new(properties) }.ok_or(CL_INVALID_PROPERTY)?;
for (&key, &val) in props.iter() {
match key as u32 {
let key = u32::try_from(key).or(Err(CL_INVALID_PROPERTY))?;
match key {
// CL_INVALID_PLATFORM [...] if platform value specified in properties is not a valid platform.
CL_CONTEXT_PLATFORM => {
(val as cl_platform_id).get_ref()?;

14
src/gallium/frontends/rusticl/api/memory.rs
View file

@ -1020,10 +1020,16 @@ fn create_sampler_with_properties(
let sampler_properties =
unsafe { Properties::new(sampler_properties) }.ok_or(CL_INVALID_VALUE)?;
for (&key, &val) in sampler_properties.iter() {
match key as u32 {
CL_SAMPLER_ADDRESSING_MODE => addressing_mode = val as u32,
CL_SAMPLER_FILTER_MODE => filter_mode = val as u32,
CL_SAMPLER_NORMALIZED_COORDS => normalized_coords = val as u32,
match u32::try_from(key).or(Err(CL_INVALID_VALUE))? {
CL_SAMPLER_ADDRESSING_MODE => {
addressing_mode = cl_addressing_mode::try_from(val).or(Err(CL_INVALID_VALUE))?
}
CL_SAMPLER_FILTER_MODE => {
filter_mode = cl_filter_mode::try_from(val).or(Err(CL_INVALID_VALUE))?
}
CL_SAMPLER_NORMALIZED_COORDS => {
normalized_coords = cl_bool::try_from(val).or(Err(CL_INVALID_VALUE))?
}
// CL_INVALID_VALUE if the property name in sampler_properties is not a supported
// property name
_ => return Err(CL_INVALID_VALUE),

6
src/gallium/frontends/rusticl/api/queue.rs
View file

@ -132,9 +132,9 @@ fn create_command_queue_with_properties(
// SAFETY: properties is a 0 terminated array by spec.
let properties = unsafe { Properties::new(properties) }.ok_or(CL_INVALID_PROPERTY)?;
for (k, v) in properties.iter() {
match *k as cl_uint {
CL_QUEUE_PROPERTIES => queue_properties = *v,
for (&key, &val) in properties.iter() {
match u32::try_from(key).or(Err(CL_INVALID_PROPERTY))? {
CL_QUEUE_PROPERTIES => queue_properties = val,
// CL_INVALID_QUEUE_PROPERTIES if values specified in properties are valid but are not
// supported by the device.
CL_QUEUE_SIZE => return Err(CL_INVALID_QUEUE_PROPERTIES),