shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add bounds checking on List access.

Browse Source
This commit is contained in:
Christoffer Lerno
2024-11-01 14:18:29 +01:00
parent 4d84811629
commit fd5b8d1374
1 changed files with 17 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
lib/std/collections/list.c3
View File

@@ -136,7 +136,7 @@ fn Type! List.pop_first(&self)
}
<*
@require index < self.size
@require index < self.size `Removed element out of bounds`
*>
fn void List.remove_at(&self, usz index)
{
@@ -215,7 +215,7 @@ fn void List.push_front(&self, Type type) @inline
}
<*
@require index <= self.size
@require index <= self.size `Insert was out of bounds`
*>
fn void List.insert_at(&self, usz index, Type type)
{
@@ -275,6 +275,9 @@ fn usz List.len(&self) @operator(len) @inline
return self.size;
}
<*
@require index < self.size `Access out of bounds`
*>
fn Type List.get(&self, usz index) @inline
{
return self.entries[index];
@@ -296,6 +299,9 @@ fn void List.free(&self)
self.entries = null;
}
<*
@require i < self.size && j < self.size `Access out of bounds`
*>
fn void List.swap(&self, usz i, usz j)
{
@swap(self.entries[i], self.entries[j]);
@@ -358,16 +364,25 @@ fn void List.ensure_capacity(&self, usz min_capacity) @local
self.post_alloc(); // Add sanitizer annotation
}
<*
@require index < self.size `Access out of bounds`
*>
macro Type List.@item_at(&self, usz index) @operator([])
{
return self.entries[index];
}
<*
@require index < self.size `Access out of bounds`
*>
fn Type* List.get_ref(&self, usz index) @operator(&[]) @inline
{
return &self.entries[index];
}
<*
@require index < self.size `Access out of bounds`
*>
fn void List.set(&self, usz index, Type value) @operator([]=)
{
self.entries[index] = value;