ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_int_overflow.h
Go to the documentation of this file.
1#ifndef PYTHON_FRONTEND_PYTHON_INT_OVERFLOW_H
2#define PYTHON_FRONTEND_PYTHON_INT_OVERFLOW_H
3
4#include <stdexcept>
5
6// Marker exception for Python int overflow diagnostics (issue #4642).
7//
8// Derived from std::runtime_error so existing `catch (const std::exception &)`
9// sites in the frontend pipeline continue to receive it for orderly shutdown.
10// The point of the subclass is to mark these diagnostics so f-string and
11// similar fallback handlers can re-throw rather than downgrade to a warning
12// (which would silently consume the bignum and let an unrelated assertion
13// "succeed").
14class python_int_overflow_excp : public std::runtime_error
15{
16public:
17 using std::runtime_error::runtime_error;
18};
19
20#endif
Definition python_int_overflow.h:15