Opened 13 years ago
Last modified 12 years ago
#4064 assigned Bugs
std::bad_cast should be thrown with BOOST_THROW_EXCEPTION
| Reported by: | Andreas Huber | Owned by: | Andreas Huber |
|---|---|---|---|
| Milestone: | Boost 1.46.0 | Component: | statechart |
| Version: | Boost 1.42.0 | Severity: | Cosmetic |
| Keywords: | Cc: |
Description
Also, other try/catch/throw statements should be put into appropriate #ifndef blocks.
Reported by Thomas Mathys.
Change History (2)
comment:1 by , 13 years ago
| Status: | new → assigned |
|---|
comment:2 by , 12 years ago
| Milestone: | Boost 1.44.0 → Boost-1.46.0 |
|---|
Note:
See TracTickets
for help on using tickets.
