/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/ |
H A D | write_to_global_array.c | 11 int array[1]; variable 15 array[0] = 0;
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
H A D | array_indirect_update.c | 12 * Regression for VER-320 and other array-related bugs. 15 int array[10]; variable 24 foo(&array[4]);
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | parse_sizeof.c | 18 int array[10] = {1,2,3,4,5}; local 19 return array[sizeof(int)];
|
H A D | simple_constexpr_sizeof.c | 18 char array[sizeof(struct s)]; local 20 array[i] = *(((char *)sptr) + i); 21 return array[byteno];
|
H A D | jiraver224.c | 20 struct s { char array[10]; } global_s; member in struct:s 24 return included_j(global_s.array);
|
H A D | extern_dups.c | 13 extern int array[]; 27 int array[40]; variable 31 if (0 <= i && i < 40) return array[i]; 37 array[i] = value;
|
H A D | ptr_locals.c | 15 int array[10]; variable
|
H A D | multidim_arrays.c | 11 int array[10][16]; variable 14 int array[7][3]; member in struct:s 21 return array[i][j]; 33 return sptr->array[i][j]; 38 return g1(&global1.array[0][1]);
|
H A D | arrays.c | 11 int array[10]; variable 18 return array[i]; 23 return &array; 28 return &array[i]; 33 array[i] = v; 60 ptr_parameter(array, 3, 4); 65 ptr_parameter(array + 4, 3, 4); 70 return *array;
|
H A D | sizeof_typedef.c | 18 unsigned char array[sizeof(s)]; local 20 for (int i = 0; i < sizeof(s); i++) array[i] = 1;
|
H A D | parse_enum.c | 18 int array[claret]; local 20 array[6] = chartreuse; 34 int array[100] = {[claret] = 10}; local 35 return array[winedark];
|
H A D | bugzilla180.c | 23 char array[MAX_NUM_DRHU]; // array of 15 chars variable 26 char f(unsigned i) { return i < 15 ? array[i] : 0; } 28 int g(void) { return sizeof(array); }
|
H A D | bugzilla182.c | 19 struct small array[10][10]; variable in typeref:struct:small 33 g(&array[i][j].fld, 3);
|
H A D | globals_fn.c | 27 void update(int *array, int i, int value) argument 29 array[i] = value;
|
H A D | untouched_globals.c | 13 struct s { char c; int array[4]; }; member in struct:s
|
H A D | parse_switch.c | 63 int k(int z, int *array) argument 65 switch (array[z]) {
|
H A D | parse_complit.c | 29 int array[10] = {1,2,3}; local 30 return array[1]; 35 int array[10] = {[1] = 4, [6] = 7,}; local 36 return array[6]; 57 int array[10] = {[4] = 10,[5] = 10}; local 58 return array[0]; // returns 0
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | ArraySignature.sml | 22 eqtype 'a array 26 val array : (int * 'a) -> 'a array value 27 val fromList : 'a list -> 'a array 28 val vector: 'a array -> 'a vector 29 val tabulate : (int * (int -> 'a)) -> 'a array 30 val length : 'a array -> int 31 val sub : ('a array * int) -> 'a 32 val update : ('a array * int * 'a) -> unit 33 val copy : {src : 'a array, ds [all...] |
H A D | MONO_ARRAY.sml | 25 eqtype array 29 val array : (int * elem) -> array value 30 val fromList : elem list -> array 31 val vector: array -> vector 32 val tabulate : (int * (int -> elem)) -> array 33 val length : array -> int 34 val sub : (array * int) -> elem 35 val update : (array * int * elem) -> unit 36 val copy : {src : array, ds [all...] |
H A D | Array2Signature.sml | 22 eqtype 'a array 25 base : 'a array, 32 val array: int * int * 'a -> 'a array value 33 val fromList: 'a list list -> 'a array 34 val tabulate: traversal -> int * int * (int * int -> 'a) -> 'a array 35 val sub: 'a array * int * int -> 'a 36 val update: 'a array * int * int * 'a -> unit 37 val dimensions: 'a array -> int * int 38 val nCols: 'a array [all...] |
H A D | IntArray2.sml | 25 eqtype array 29 base : array, 36 val array : int * int * elem -> array value 37 val fromList : elem list list -> array 38 val tabulate : traversal -> int * int * (int * int -> elem) -> array 39 val sub : array * int * int -> elem 40 val update : array * int * int * elem -> unit 41 val dimensions : array -> int * int 42 val nCols : array 70 type array = elem array type 86 type array = elem array type 101 type array = elem array type 116 type array = elem array type 131 type array = elem array type [all...] |
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Sort.h | 37 void selectionSort(T* array, int size, LessThan lt) argument 45 if (lt(array[j], array[best_i])) 48 tmp = array[i]; array[i] = array[best_i]; array[best_i] = tmp; 51 template <class T> static inline void selectionSort(T* array, int size) { argument 52 selectionSort(array, size, LessThan_default<T>()); } 56 void sort(T* array, in argument 80 sort(T* array, int size, LessThan lt) argument 82 sort(T* array, int size) argument 87 sortUnique(T* array, int& size, LessThan lt) argument 106 sortUnique(T* array, int& size) argument [all...] |
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Dynarray.sig | 6 type 'a array 8 val array : int * '_a -> '_a array value 9 val subArray : '_a array * int * int -> '_a array 10 val fromList : '_a list * '_a -> '_a array 11 val tabulate : int * (int -> '_a) * '_a -> '_a array 12 val sub : 'a array * int -> 'a 13 val update : '_a array * int * '_a -> unit 14 val default : 'a array [all...] |
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | Lexis.sig | 3 val alphanumerics : Word8Array.array 4 val hol_symbols : Word8Array.array 5 val sml_symbols : Word8Array.array 6 val alphabet : Word8Array.array 7 val numbers : Word8Array.array 8 val tyvar_ids : Word8Array.array 9 val parens : Word8Array.array 10 val in_class : Word8Array.array * int -> bool
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | DiskFilesHeader.sig | 11 type 'a array = (int,'a)Binarymap.dict 13 id array * pretype array * pre_vc array * (string * prethm) list
|