965dadaa
 Salvador Abreu
initial commit fr...
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#ifdef USE_STORE
#include <stdlib.h>
#include "fdc_int.h"
#include "store.h"
__thread _fd_store store;
void _fd_init_main_store()
{
store = calloc(MAX_VARIABLES, sizeof(*store)); // XXX: NULL
}
#if 0
void _fd_init_store()
{
int i;
store = calloc(fd_variables_count, sizeof(*store)); // XXX: NULL
for (i = 0; i < fd_variables_count; ++i)
store[i] = _fd_variables[i]->domain;
}
#endif
#endif /* USE_STORE */
|