| /dports/math/spot/spot-2.10.2/spot/twaalgos/gtec/ |
| H A D | sccstack.cc | 28 scc_stack::connected_component::connected_component(int i) in connected_component()
34 scc_stack::connected_component&
35 scc_stack::top() in top()
40 const scc_stack::connected_component&
41 scc_stack::top() const in top()
47 scc_stack::pop() in pop()
54 scc_stack::push(int index) in push()
60 scc_stack::rem() in rem()
67 scc_stack::size() const in size()
73 scc_stack::empty() const in empty()
[all …]
|
| H A D | status.hh | 44 scc_stack root;
|
| H A D | sccstack.hh | 33 class SPOT_API scc_stack class
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/gtec/ |
| H A D | sccstack.cc | 28 scc_stack::connected_component::connected_component(int i) in bind()
34 scc_stack::connected_component& in bind()
35 scc_stack::top() in bind()
40 const scc_stack::connected_component& in bind()
41 scc_stack::top() const in bind()
47 scc_stack::pop() in bind()
54 scc_stack::push(int index) in bind()
60 scc_stack::rem() in bind()
67 scc_stack::size() const in bind()
73 scc_stack::empty() const in bind()
[all …]
|
| H A D | status.hh | 44 scc_stack root;
|
| H A D | sccstack.hh | 33 class SPOT_API scc_stack class
|
| /dports/math/ltl2ba/ltl2ba-1.3/ |
| H A D | generalized.c | 45 static GScc *scc_stack; variable
263 scc->nxt = scc_stack; in gdfs()
264 scc_stack = scc; in gdfs()
274 for(c = scc_stack->nxt; c != 0; c = c->nxt) in gdfs()
282 while(scc_stack != scc) { in gdfs()
283 scc_stack->gstate->incoming = scc_id; in gdfs()
284 scc_stack = scc_stack->nxt; in gdfs()
287 scc_stack = scc->nxt; in gdfs()
297 scc_stack = 0; in simplify_gscc()
|
| H A D | buchi.c | 46 static BScc *scc_stack; variable
295 scc->nxt = scc_stack; in bdfs()
296 scc_stack = scc; in bdfs()
306 for(c = scc_stack->nxt; c != 0; c = c->nxt) in bdfs()
314 if(scc_stack == scc) { /* s is alone in a scc */ in bdfs()
320 scc_stack = scc->nxt; in bdfs()
328 scc_stack = 0; in simplify_bscc()
|
| /dports/math/ltl2ba/ltl2ba-1.3/patch-from-1.2/ |
| H A D | ltl2ba-warning-global-var.patch | 32 -BScc *scc_stack;
34 +static BScc *scc_stack;
126 -GScc *scc_stack;
127 +static GScc *scc_stack;
|
| /dports/math/ltl2ba/ltl2ba-1.3/patch-from-1.1/ |
| H A D | 02-ltl2ba-fix-multiple-labels.patch | 18 BScc *scc_stack;
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1406 auto_vec<unsigned> scc_stack; variable
1456 if (si->scc_stack.length () > 0 in scc_visit()
1465 while (si->scc_stack.length () != 0 in scc_visit()
1495 si->scc_stack.safe_push (n); in scc_visit()
2075 if (si->scc_stack.length () != 0 in condense_visit()
2095 si->scc_stack.reserve (1); in condense_visit()
2096 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2097 si->scc_stack[first] = n; in condense_visit()
2106 unsigned a = si->scc_stack[first + i]; in condense_visit()
2141 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | tree-ssa-structalias.c | 1416 auto_vec<unsigned> scc_stack; variable
1466 if (si->scc_stack.length () > 0 in scc_visit()
1475 while (si->scc_stack.length () != 0 in scc_visit()
1505 si->scc_stack.safe_push (n); in scc_visit()
2085 if (si->scc_stack.length () != 0 in condense_visit()
2105 si->scc_stack.reserve (1); in condense_visit()
2106 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2107 si->scc_stack[first] = n; in condense_visit()
2116 unsigned a = si->scc_stack[first + i]; in condense_visit()
2151 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1406 auto_vec<unsigned> scc_stack; variable
1456 if (si->scc_stack.length () > 0 in scc_visit()
1465 while (si->scc_stack.length () != 0 in scc_visit()
1495 si->scc_stack.safe_push (n); in scc_visit()
2075 if (si->scc_stack.length () != 0 in condense_visit()
2095 si->scc_stack.reserve (1); in condense_visit()
2096 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2097 si->scc_stack[first] = n; in condense_visit()
2106 unsigned a = si->scc_stack[first + i]; in condense_visit()
2141 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1416 auto_vec<unsigned> scc_stack; variable
1466 if (si->scc_stack.length () > 0 in scc_visit()
1475 while (si->scc_stack.length () != 0 in scc_visit()
1505 si->scc_stack.safe_push (n); in scc_visit()
2085 if (si->scc_stack.length () != 0 in condense_visit()
2105 si->scc_stack.reserve (1); in condense_visit()
2106 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2107 si->scc_stack[first] = n; in condense_visit()
2116 unsigned a = si->scc_stack[first + i]; in condense_visit()
2151 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1416 auto_vec<unsigned> scc_stack; variable
1466 if (si->scc_stack.length () > 0 in scc_visit()
1475 while (si->scc_stack.length () != 0 in scc_visit()
1505 si->scc_stack.safe_push (n); in scc_visit()
2085 if (si->scc_stack.length () != 0 in condense_visit()
2105 si->scc_stack.reserve (1); in condense_visit()
2106 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2107 si->scc_stack[first] = n; in condense_visit()
2116 unsigned a = si->scc_stack[first + i]; in condense_visit()
2151 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
| H A D | tree-ssa-structalias.c | 1406 auto_vec<unsigned> scc_stack;
1456 if (si->scc_stack.length () > 0
1465 while (si->scc_stack.length () != 0
1495 si->scc_stack.safe_push (n);
2075 if (si->scc_stack.length () != 0
2095 si->scc_stack.reserve (1);
2096 si->scc_stack.quick_push (si->scc_stack[first]);
2097 si->scc_stack[first] = n;
2106 unsigned a = si->scc_stack[first + i];
2141 si->scc_stack.truncate (first);
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
| H A D | tree-ssa-structalias.c | 1436 auto_vec<unsigned> scc_stack; variable
1486 if (si->scc_stack.length () > 0 in scc_visit()
1495 while (si->scc_stack.length () != 0 in scc_visit()
1525 si->scc_stack.safe_push (n); in scc_visit()
2105 if (si->scc_stack.length () != 0 in condense_visit()
2125 si->scc_stack.reserve (1); in condense_visit()
2126 si->scc_stack.quick_push (si->scc_stack[first]); in condense_visit()
2127 si->scc_stack[first] = n; in condense_visit()
2136 unsigned a = si->scc_stack[first + i]; in condense_visit()
2171 si->scc_stack.truncate (first); in condense_visit()
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ |
| H A D | tree-ssa-structalias.c | 1362 vec<unsigned> scc_stack; member
1415 if (si->scc_stack.length () > 0 in scc_visit()
1416 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1424 while (si->scc_stack.length () != 0 in scc_visit()
1427 unsigned int w = si->scc_stack.pop (); in scc_visit()
1454 si->scc_stack.safe_push (n); in scc_visit()
1825 si->scc_stack.create (1); in init_scc_info()
1838 si->scc_stack.release (); in free_scc_info()
2050 while (si->scc_stack.length () != 0 in condense_visit()
2053 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
| H A D | tree-ssa-structalias.c | 1359 vec<unsigned> scc_stack; member
1412 if (si->scc_stack.length () > 0 in scc_visit()
1413 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1421 while (si->scc_stack.length () != 0 in scc_visit()
1424 unsigned int w = si->scc_stack.pop (); in scc_visit()
1451 si->scc_stack.safe_push (n); in scc_visit()
1818 si->scc_stack.create (1); in init_scc_info()
1831 si->scc_stack.release (); in free_scc_info()
2043 while (si->scc_stack.length () != 0 in condense_visit()
2046 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/ |
| H A D | tree-ssa-structalias.c | 1095 VEC(unsigned,heap) *scc_stack;
1146 while (VEC_length (unsigned, si->scc_stack) != 0 in scc_visit()
1147 && t < si->visited_index[VEC_last (unsigned, si->scc_stack)]) in scc_visit()
1149 unsigned int w = VEC_pop (unsigned, si->scc_stack); in scc_visit()
1157 VEC_safe_push (unsigned, heap, si->scc_stack, n); in scc_visit()
1551 si->scc_stack = VEC_alloc (unsigned, heap, 1); in init_scc_info()
1564 VEC_free (unsigned, heap, si->scc_stack); in free_scc_info()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
| H A D | tree-ssa-structalias.c | 1385 vec<unsigned> scc_stack; member
1435 if (si->scc_stack.length () > 0 in scc_visit()
1436 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1444 while (si->scc_stack.length () != 0 in scc_visit()
1447 unsigned int w = si->scc_stack.pop (); in scc_visit()
1474 si->scc_stack.safe_push (n); in scc_visit()
1842 si->scc_stack.create (1); in init_scc_info()
1855 si->scc_stack.release (); in free_scc_info()
2068 while (si->scc_stack.length () != 0 in condense_visit()
2071 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | tree-ssa-structalias.c | 1379 vec<unsigned> scc_stack; member
1429 if (si->scc_stack.length () > 0 in scc_visit()
1430 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1438 while (si->scc_stack.length () != 0 in scc_visit()
1441 unsigned int w = si->scc_stack.pop (); in scc_visit()
1468 si->scc_stack.safe_push (n); in scc_visit()
1836 si->scc_stack.create (1); in init_scc_info()
1849 si->scc_stack.release (); in free_scc_info()
2061 while (si->scc_stack.length () != 0 in condense_visit()
2064 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | tree-ssa-structalias.c | 1385 vec<unsigned> scc_stack; member
1435 if (si->scc_stack.length () > 0 in scc_visit()
1436 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1444 while (si->scc_stack.length () != 0 in scc_visit()
1447 unsigned int w = si->scc_stack.pop (); in scc_visit()
1474 si->scc_stack.safe_push (n); in scc_visit()
1842 si->scc_stack.create (1); in init_scc_info()
1855 si->scc_stack.release (); in free_scc_info()
2068 while (si->scc_stack.length () != 0 in condense_visit()
2071 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1398 auto_vec<unsigned> scc_stack; member
1448 if (si->scc_stack.length () > 0 in scc_visit()
1449 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1457 while (si->scc_stack.length () != 0 in scc_visit()
1458 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1460 unsigned int w = si->scc_stack.pop (); in scc_visit()
1487 si->scc_stack.safe_push (n); in scc_visit()
2065 while (si->scc_stack.length () != 0 in condense_visit()
2066 && si->dfs[si->scc_stack.last ()] >= my_dfs) in condense_visit()
2068 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | tree-ssa-structalias.c | 1398 auto_vec<unsigned> scc_stack; member
1448 if (si->scc_stack.length () > 0 in scc_visit()
1449 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1457 while (si->scc_stack.length () != 0 in scc_visit()
1458 && si->dfs[si->scc_stack.last ()] >= my_dfs) in scc_visit()
1460 unsigned int w = si->scc_stack.pop (); in scc_visit()
1487 si->scc_stack.safe_push (n); in scc_visit()
2065 while (si->scc_stack.length () != 0 in condense_visit()
2066 && si->dfs[si->scc_stack.last ()] >= my_dfs) in condense_visit()
2068 unsigned int w = si->scc_stack.pop (); in condense_visit()
[all …]
|