/// Keep track if the entity related to this 'ExceptionInfo' can in princple
/// throw, if it's unknown or if it won't throw.
- State Behaviour : 2;
+ State Behaviour;
/// Keep track if the entity contains any unknown elements to keep track
/// of the certainty of decisions and/or correct 'Behaviour' transition
/// after filtering.
- bool ContainsUnknown : 1;
+ bool ContainsUnknown;
/// 'ThrownException' is empty if the 'Behaviour' is either 'NotThrowing' or
/// 'Unknown'.
Throwables ThrownExceptions;
};
- static_assert(sizeof(ExceptionInfo) <= 64u,
- "size of exceptioninfo shall be at max one cache line");
ExceptionAnalyzer() = default;