Changeset 8d76f2b for libcfa/src/containers

Timestamp:

Apr 11, 2022, 1:02:54 PM (2 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

13888c0, 437b8b5

Parents:

a08443b

Message:

Adding runtime bound checking for array subscripts and showing the optimizer removing them.

Adding draft thesis content on dependent types and bound checks.

File:

• libcfa/src/containers/array.hfa (modified) (2 diffs)

libcfa/src/containers/array.hfa

@@ +1 @@
+#include <assert.h>
 
 
@@ -34 +35 @@
 
     static inline Timmed & ?[?]( arpk(N, S, Timmed, Tbase) & a, int i ) {
+        assert( i < N );
         return (Timmed &) a.strides[i];
     }
 
     static inline Timmed & ?[?]( arpk(N, S, Timmed, Tbase) & a, unsigned int i ) {
+        assert( i < N );
         return (Timmed &) a.strides[i];
     }
 
     static inline Timmed & ?[?]( arpk(N, S, Timmed, Tbase) & a, long int i ) {
+        assert( i < N );
         return (Timmed &) a.strides[i];
     }
 
     static inline Timmed & ?[?]( arpk(N, S, Timmed, Tbase) & a, unsigned long int i ) {
+        assert( i < N );
         return (Timmed &) a.strides[i];
     }