Searched refs:array (Results 1 - 25 of 224) sorted by relevance

123456789

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/
H A Dwrite_to_global_array.c11 int array[1]; variable
15 array[0] = 0;
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Darray_indirect_update.c12 * 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 Dparse_sizeof.c18 int array[10] = {1,2,3,4,5}; local
19 return array[sizeof(int)];
H A Dsimple_constexpr_sizeof.c18 char array[sizeof(struct s)]; local
20 array[i] = *(((char *)sptr) + i);
21 return array[byteno];
H A Djiraver224.c20 struct s { char array[10]; } global_s; member in struct:s
24 return included_j(global_s.array);
H A Dextern_dups.c13 extern int array[];
27 int array[40]; variable
31 if (0 <= i && i < 40) return array[i];
37 array[i] = value;
H A Dptr_locals.c15 int array[10]; variable
H A Dmultidim_arrays.c11 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 Darrays.c11 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 Dsizeof_typedef.c18 unsigned char array[sizeof(s)]; local
20 for (int i = 0; i < sizeof(s); i++) array[i] = 1;
H A Dparse_enum.c18 int array[claret]; local
20 array[6] = chartreuse;
34 int array[100] = {[claret] = 10}; local
35 return array[winedark];
H A Dbugzilla180.c23 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 Dbugzilla182.c19 struct small array[10][10]; variable in typeref:struct:small
33 g(&array[i][j].fld, 3);
H A Dglobals_fn.c27 void update(int *array, int i, int value) argument
29 array[i] = value;
H A Duntouched_globals.c13 struct s { char c; int array[4]; }; member in struct:s
H A Dparse_switch.c63 int k(int z, int *array) argument
65 switch (array[z]) {
H A Dparse_complit.c29 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 DArraySignature.sml22 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 DMONO_ARRAY.sml25 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 DArray2Signature.sml22 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 DIntArray2.sml25 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 DSort.h37 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 DDynarray.sig6 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 DLexis.sig3 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 DDiskFilesHeader.sig11 type 'a array = (int,'a)Binarymap.dict
13 id array * pretype array * pre_vc array * (string * prethm) list

Completed in 114 milliseconds

123456789