How to generate overflow_error or underflow_error exception in c++?

Question

I want to check under what circumstance will overflow_error and underflow_error exception be generated in c++, so I wrote a demo to try to generate overflow_error exception, but failed:

#include <iostream>
#include <stdexcept>
using std::cout; using std::endl;
int main() {
    try {
        int a = std::pow(2, 31) - 1;
        cout << a << endl;
        int b = 1;
        int c = a + b;
        cout << c << endl;
    } catch (std::overflow_error ex) {
        cout << ex.what() << endl;
    }
    return 0;
}

The out put is:

2147483647
-2147483648

As you can see, no overflow_error exception generated, so, my questions are what the arithmetic overflow errors and arithmetic underflow errors are and how to generate overflow_error and underflow_error exception in c++?

Possible duplicate of Is overflow_error caught at runtime in C++ when a integer variable cannot hold a value that it is not supposed to — user202729
– user202729, Commented Mar 19, 2018 at 5:05
Why don't you post an answer so that I can mark it favorite? — cong
– cong, Commented Mar 19, 2018 at 5:16

Smit Ycyken · Accepted Answer · 2018-03-19 05:16:47Z

2

The only standard library components that throw std::overflow_error are std::bitset::to_ulong and std::bitset::to_ullong.

The standard library components do not throw std::underflow_error (mathematical functions report underflow errors as specified in math_errhandling).

In your example, you are trying to check signed integer overflow. You need to specify flag for this check.

For example:

Use clang++ to compile and link your program with -fsanitize=undefined flag.

% cat test.cc
int main(int argc, char **argv) {
  int k = 0x7fffffff;
  k += argc;
  return 0;
}
% clang++ -fsanitize=undefined test.cc
% ./a.out

test.cc:3:5: runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type 'int'

answered Mar 19, 2018 at 5:16

Smit Ycyken

1,1911 gold badge14 silver badges26 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

user202729 Over a year ago

Note that the flag is compiler-specific.

Collectives™ on Stack Overflow

How to generate overflow_error or underflow_error exception in c++?

1 Answer 1

1 Comment

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Linked

Related