API tools faq
paste
Guest User

Untitled

a guest
Dec 14th, 2023
58
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.01 KB | None | 0 0
raw download clone embed print report
  1. $ find . -name "*.c" -exec grep -H "longjmp" {} \;
  2. ./src/model/val_to_term.c: longjmp(convert->env, c);
  3. ./src/model/term_to_val.c: * - raise an exception (via longjmp) of t can't be converted
  4. ./src/model/term_to_val.c: longjmp(convert->env, TERM2VAL_INTERNAL_ERROR);
  5. ./src/model/term_to_val.c: longjmp(convert->env, TERM2VAL_NOT_CONSTANT);
  6. ./src/model/model_eval.c: * - fails with a longjmp if v is an algebraic number
  7. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_FAILED);
  8. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_FAILED);
  9. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_FAILED);
  10. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_FREEVAR_IN_TERM);
  11. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_UNKNOWN_TERM);
  12. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_QUANTIFIER);
  13. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_LAMBDA);
  14. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_INTERNAL_ERROR);
  15. ./src/model/model_eval.c: longjmp(eval->env, MDL_EVAL_FAILED);
  16. ./src/model/model_eval.c: assert(v < 0); // error code after longjmp
  17. ./src/model/literal_collector.c: longjmp(collect->env, v);
  18. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_INTERNAL_ERROR);
  19. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_INTERNAL_ERROR);
  20. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_FREEVAR_IN_TERM);
  21. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_QUANTIFIER);
  22. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_LAMBDA);
  23. ./src/model/literal_collector.c: //ARITH_ROOT_ATOM should get its very longjmp
  24. ./src/model/literal_collector.c: longjmp(collect->env, MDL_EVAL_INTERNAL_ERROR);
  25. ./src/model/literal_collector.c: assert(u < 0); // error code after longjmp
  26. ./src/frontend/smt2/smt2_term_stack.c: // note: this loop may fail and call longjmp
  27. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  28. ./src/context/context_simplifier.c: longjmp(ctx->env, INTERNAL_ERROR);
  29. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  30. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  31. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  32. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  33. ./src/context/context_simplifier.c: * Raise an exception via longjmp if there's an error or if a
  34. ./src/context/context_simplifier.c: longjmp(ctx->env, exception);
  35. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  36. ./src/context/context_simplifier.c: * This function raises an exception via longjmp if a contradiction is detected.
  37. ./src/context/context_simplifier.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  38. ./src/context/context_simplifier.c: longjmp(ctx->env, code);
  39. ./src/context/symmetry_breaking.c: * - raise an exception (by longjmp(s->env, -1) if something goes wrong
  40. ./src/context/symmetry_breaking.c: longjmp(s->env, -1);
  41. ./src/context/context.c: longjmp(ctx->env, INTERNAL_ERROR);
  42. ./src/context/context.c: longjmp(ctx->env, INTERNAL_ERROR);
  43. ./src/context/context.c: longjmp(ctx->env, HIGH_ORDER_FUN_NOT_SUPPORTED);
  44. ./src/context/context.c: longjmp(ctx->env, ARITH_NOT_SUPPORTED);
  45. ./src/context/context.c: longjmp(ctx->env, BV_NOT_SUPPORTED);
  46. ./src/context/context.c: longjmp(ctx->env, BV_NOT_SUPPORTED);
  47. ./src/context/context.c: longjmp(ctx->env, code);
  48. ./src/context/context.c: longjmp(ctx->env, uf_error_code(ctx, distinct->arg[0]));
  49. ./src/context/context.c: longjmp(ctx->env, FORMULA_NOT_LINEAR);
  50. ./src/context/context.c: longjmp(ctx->env, exception);
  51. ./src/context/context.c: longjmp(ctx->env, exception);
  52. ./src/context/context.c: longjmp(ctx->env, exception);
  53. ./src/context/context.c: longjmp(ctx->env, FREE_VARIABLE_IN_FORMULA);
  54. ./src/context/context.c: longjmp(ctx->env, QUANTIFIERS_NOT_SUPPORTED);
  55. ./src/context/context.c: longjmp(ctx->env, INTERNAL_ERROR);
  56. ./src/context/context.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  57. ./src/context/context.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  58. ./src/context/context.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  59. ./src/context/context.c: longjmp(ctx->env, uf_error_code(ctx, distinct->arg[0]));
  60. ./src/context/context.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  61. ./src/context/context.c: longjmp(ctx->env, FORMULA_NOT_LINEAR);
  62. ./src/context/context.c: if (!tt) longjmp(ctx->env, TRIVIALLY_UNSAT);
  63. ./src/context/context.c: if (tt) longjmp(ctx->env, TRIVIALLY_UNSAT);
  64. ./src/context/context.c: longjmp(ctx->env, TRIVIALLY_UNSAT);
  65. ./src/context/context.c: longjmp(ctx->env, code);
  66. ./src/context/context.c: longjmp(ctx->env, code);
  67. ./src/context/context.c: * Exception: return from longjmp(ctx->env, code);
  68. ./src/context/context.c: * Exception: return from longjmp(ctx->env, code);
  69. ./src/solvers/floyd_warshall/idl_floyd_warshall.c: longjmp(*solver->env, code);
  70. ./src/solvers/floyd_warshall/rdl_floyd_warshall.c: longjmp(*solver->env, code);
  71. ./src/solvers/simplex/simplex.c: longjmp(*solver->env, FORMULA_NOT_LINEAR);
  72. ./src/terms/full_subst.c: * - call longjmp if something goes wrong
  73. ./src/terms/full_subst.c: longjmp(subst->env, FULL_SUBST_DEGREE_OVERFLOW);
  74. ./src/terms/full_subst.c: longjmp(subst->env, FULL_SUBST_INTERNAL_ERROR);
  75. ./src/terms/full_subst.c: * - raise an exception via longjmp is something goes wrong
  76. ./src/terms/full_subst.c: longjmp(subst->env, FULL_SUBST_INTERNAL_ERROR);
  77. ./src/terms/term_substitution.c: * abort by calling longjmp(subst->env): return -1 (NULL_TERM)
  78. ./src/terms/term_substitution.c: longjmp(subst->env, -1); // raise an exception
  79. ./src/terms/term_substitution.c: longjmp(subst->env, -2);
  80. ./src/parser_utils/term_stack2.c: * code is returned to exception handler by longjmp
  81. ./src/parser_utils/term_stack2.c: longjmp(stack->env, code);
  82. ./src/parser_utils/term_stack2.c: longjmp(stack->env, TSTACK_INVALID_OP);
  83. ./src/parser_utils/term_stack2.c: longjmp(stack->env, code);
  84. ./src/parser_utils/term_stack2.c: longjmp(stack->env, TSTACK_YICES_ERROR);
  85. ./src/mcsat/preprocessor.c: longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY);
  86. ./src/mcsat/preprocessor.c: longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY);
  87. ./src/mcsat/preprocessor.c: longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY);
  88. ./src/mcsat/preprocessor.c: longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY);
  89. ./tests/unit/test_api14.c: * Out-of-memory handling using setjmp/longjmp
  90. ./tests/unit/test_api14.c: longjmp(*env, -1);
  91. ./tests/unit/test_longjmp.c: printf("\ncalling longjmp\n\n");
  92. ./tests/unit/test_longjmp.c: longjmp(*env, 23);
  93. ./tests/unit/test_longjmp.c: printf("return from longjmp: code = %d\n", code);
  94. ./tests/unit/test_longjmp.c: printf("\ncalling longjmp\n\n");
  95. ./tests/unit/test_longjmp.c: longjmp(*aux.ptr, 45);
  96. ./tests/unit/test_longjmp.c: printf("return from longjmp: code = %d\n", code);
  97.  
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!