diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-09 11:41:31 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-09 11:48:15 -0700 |
commit | 03ad2ad78bee38c30b13af2cc642285d55c77f16 (patch) | |
tree | 6952d5ae1fee0c12d2fad4d7d412c0c3b7d54963 /src/decision/justification_strategy.cpp | |
parent | b2c4184f1148ba1c51011ee6dd8341b9f204f54e (diff) |
Use default visibility for `cvc5::Exception`
Currently, `cvc5::Exception` does not have default visibility, which can
cause cvc5 to terminate when trying to catch it in `main.cpp`.
Presumably, this is because the necessary typeinfo is missing [0]. Due
to this issue, production builds for M1 on macOS crashed when parser
exceptions were thrown. The commit changes the visibility of the
exception.
[0] https://gcc.gnu.org/wiki/Visibility,
"Problems with C++ exceptions (please read!)"
Diffstat (limited to 'src/decision/justification_strategy.cpp')
0 files changed, 0 insertions, 0 deletions