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").
14
class
python_int_overflow_excp
:
public
std::runtime_error
15
{
16
public
:
17
using
std::runtime_error::runtime_error;
18
};
19
20
#endif
python_int_overflow_excp
Definition
python_int_overflow.h:15
src
python-frontend
math
python_int_overflow.h
Generated by
1.15.0