search

seL4 / projects_libs

Other
6 stars 20 forks source link

libfdtgen: Library functions cannot return error but also can fail #14

Open kent-mcleod opened 2 years ago

kent-mcleod commented 2 years ago

(Moved from: https://sel4.atlassian.net/browse/SELFOUR-2621)

Several public functions from this library return void but perform dynamic memory allocations and can therefore fail with no way to return an error.