| /dports/math/z3/z3-z3-4.8.13/src/parsers/smt2/ |
| H A D | smt2parser.cpp | 239 expr_ref_vector & expr_stack() { in expr_stack() function in smt2::parser
1044 expr_stack().pop_back(); in process_last_symbol()
1349 expr_stack().pop_back(); in push_match_frame()
2438 expr_stack().pop_back(); in parse_rec_fun_body()
2467 expr_stack().pop_back(); in parse_define_const()
2587 expr_stack().pop_back(); in parse_assert()
2607 m_ctx.check_sat(expr_stack().size() - spos, expr_stack().data() + spos); in parse_check_sat()
2609 expr_stack().shrink(spos); in parse_check_sat()
2620 m_ctx.check_sat(expr_stack().size() - spos, expr_stack().data() + spos); in parse_check_sat_assuming()
2622 expr_stack().shrink(spos); in parse_check_sat_assuming()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/parsers/smt2/ |
| H A D | smt2parser.cpp | 239 expr_ref_vector & expr_stack() { in expr_stack() function in smt2::parser
1044 expr_stack().pop_back(); in process_last_symbol()
1348 expr_stack().pop_back(); in push_match_frame()
2425 expr_stack().pop_back(); in parse_rec_fun_body()
2454 expr_stack().pop_back(); in parse_define_const()
2574 expr_stack().pop_back(); in parse_assert()
2594 m_ctx.check_sat(expr_stack().size() - spos, expr_stack().c_ptr() + spos); in parse_check_sat()
2596 expr_stack().shrink(spos); in parse_check_sat()
2607 m_ctx.check_sat(expr_stack().size() - spos, expr_stack().c_ptr() + spos); in parse_check_sat_assuming()
2609 expr_stack().shrink(spos); in parse_check_sat_assuming()
[all …]
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/ide_assists/src/handlers/ |
| H A D | apply_demorgan.rs | 52 let mut expr_stack = vec![expr.clone()]; in apply_demorgan() localVariable
57 while let Some(expr) = expr_stack.pop() { in apply_demorgan()
62 expr_stack.push(bin_expr); in apply_demorgan()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/ide_assists/src/handlers/ |
| H A D | apply_demorgan.rs | 52 let mut expr_stack = vec![expr.clone()]; in apply_demorgan() localVariable
57 while let Some(expr) = expr_stack.pop() { in apply_demorgan()
62 expr_stack.push(bin_expr); in apply_demorgan()
|
| /dports/shells/bash/bash-5.1/ |
| H A D | expr.c | 223 static EXPR_CONTEXT **expr_stack; variable
268 … expr_stack = (EXPR_CONTEXT **)xrealloc (expr_stack, expr_stack_size * sizeof (EXPR_CONTEXT *)); in pushexp()
276 expr_stack[expr_depth++] = context; in pushexp()
294 context = expr_stack[--expr_depth]; in popexp()
307 if (expr_stack[expr_depth]->tokstr) in expr_unwind()
308 free (expr_stack[expr_depth]->tokstr); in expr_unwind()
310 if (expr_stack[expr_depth]->expression) in expr_unwind()
311 free (expr_stack[expr_depth]->expression); in expr_unwind()
313 free (expr_stack[expr_depth]); in expr_unwind()
316 free (expr_stack[expr_depth]); /* free the allocated EXPR_CONTEXT */ in expr_unwind()
|
| /dports/lang/nesasm/nbasic_2004_03_14/source/nesasm/source/ |
| H A D | expr.c | 114 expr_stack[func_idx++] = expr; in evaluate()
302 expr = expr_stack[func_idx]; in evaluate()
413 expr_stack[func_idx++] = expr; in push_val()
|
| H A D | expr.h | 57 unsigned char *expr_stack[16]; /* expression stack */ variable
|
| /dports/lang/huc/huc-3.21/src/mkit/as/ |
| H A D | expr.c | 114 expr_stack[func_idx++] = expr; in evaluate()
302 expr = expr_stack[func_idx]; in evaluate()
413 expr_stack[func_idx++] = expr; in push_val()
|
| H A D | expr.h | 57 unsigned char *expr_stack[16]; /* expression stack */ variable
|
| /dports/lang/clover/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/libosmesa-gallium/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-libs/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-gallium-va/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-dri-gallium/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/libosmesa/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/graphics/mesa-dri/mesa-21.3.6/src/compiler/isaspec/ |
| H A D | decode.c | 147 isa_expr_t expr_stack[8]; member
235 if (state->expr_stack[i] == expr) { in push_expr()
239 state->expr_stack[state->expr_sp++] = expr; in push_expr()
377 cur_expr = state->expr_stack[state->expr_sp - 1]; in find_field()
|
| /dports/net/lambdamoo/MOO-1.8.1/ |
| H A D | decompile.c | 27 static Expr **expr_stack; variable
41 expr_stack[top_expr_stack++] = expr; in push_expr()
49 return expr_stack[--top_expr_stack]; in pop_expr()
476 hot_node = expr_stack[top_expr_stack]; in decompile()
840 expr_stack = mymalloc(sum * sizeof(Expr *), M_DECOMPILE); in program_to_tree()
851 myfree(expr_stack, M_DECOMPILE); in program_to_tree()
|
| /dports/lang/gnu-cobol/gnucobol-3.1.2/cobc/ |
| H A D | typeck.c | 72 #define TOKEN(offset) (expr_stack[expr_index + offset].token)
73 #define VALUE(offset) (expr_stack[expr_index + offset].value)
134 static struct expr_node *expr_stack; /* Expression node stack */ variable
4311 expr_stack = cobc_main_realloc (expr_stack, sizeof (struct expr_node) * expr_stack_size);
4346 if (!expr_stack[3].value) {
4352 expr_stack[3].value->source_file = cb_source_file;
4353 expr_stack[3].value->source_line = cb_exp_line;
4357 cb_error_x (expr_stack[3].value, _("invalid expression"));
4361 expr_expand (&expr_stack[3].value);
4362 if (expr_stack[3].token != 'x') {
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ |
| H A D | gimplify.c | 2158 vec<tree> expr_stack; in gimplify_compound_lval() local
2166 expr_stack.create (10); in gimplify_compound_lval()
2186 expr_stack.safe_push (*p); in gimplify_compound_lval()
2189 gcc_assert (expr_stack.length ()); in gimplify_compound_lval()
2203 for (i = expr_stack.length () - 1; i >= 0; i--) in gimplify_compound_lval()
2205 tree t = expr_stack[i]; in gimplify_compound_lval()
2298 for (; expr_stack.length () > 0; ) in gimplify_compound_lval()
2300 tree t = expr_stack.pop (); in gimplify_compound_lval()
2328 expr_stack.release (); in gimplify_compound_lval()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
| H A D | gimplify.c | 2156 vec<tree> expr_stack; in gimplify_compound_lval() local
2164 expr_stack.create (10); in gimplify_compound_lval()
2184 expr_stack.safe_push (*p); in gimplify_compound_lval()
2187 gcc_assert (expr_stack.length ()); in gimplify_compound_lval()
2201 for (i = expr_stack.length () - 1; i >= 0; i--) in gimplify_compound_lval()
2203 tree t = expr_stack[i]; in gimplify_compound_lval()
2296 for (; expr_stack.length () > 0; ) in gimplify_compound_lval()
2298 tree t = expr_stack.pop (); in gimplify_compound_lval()
2326 expr_stack.release (); in gimplify_compound_lval()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | gimplify.c | 1876 auto_vec<tree, 10> expr_stack; in gimplify_compound_lval() local
1896 expr_stack.safe_push (*p); in gimplify_compound_lval()
1899 gcc_assert (expr_stack.length ()); in gimplify_compound_lval()
1913 for (i = expr_stack.length () - 1; i >= 0; i--) in gimplify_compound_lval()
1915 tree t = expr_stack[i]; in gimplify_compound_lval()
2008 for (; expr_stack.length () > 0; ) in gimplify_compound_lval()
2010 tree t = expr_stack.pop (); in gimplify_compound_lval()
2038 expr_stack.release (); in gimplify_compound_lval()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
| H A D | gimplify.c | 3081 auto_vec<tree, 10> expr_stack; in gimplify_compound_lval() local
3101 expr_stack.safe_push (*p); in gimplify_compound_lval()
3104 gcc_assert (expr_stack.length ()); in gimplify_compound_lval()
3126 tree t = expr_stack[i]; in gimplify_compound_lval()
3193 for (; expr_stack.length () > 0; ) in gimplify_compound_lval()
3195 tree t = expr_stack.pop (); in gimplify_compound_lval()
3235 expr_stack.release (); in gimplify_compound_lval()
9759 auto_vec<tree, 10> expr_stack; in gimplify_scan_omp_clauses() local
9767 expr_stack.safe_push (*p); in gimplify_scan_omp_clauses()
9772 tree t = expr_stack[i]; in gimplify_scan_omp_clauses()
[all …]
|