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/options/argument_extender.h | |
| 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/options/argument_extender.h')
0 files changed, 0 insertions, 0 deletions