[FR] Conditional noexcept specifier for static matrices
Describe the feature you would like to be implemented.
I would like to propose add conditional noexcept specifiers for statically allocated types. This has to solve the problem with potentially incomplete branches coverage due to RESX arcs generated by a compiler.
As an example for the following code
#include <Eigen/Core>
auto foo() {
Eigen::Matrix<float, 2, 2> a, b;
auto c = a + b;
return c;
}
int main() {
foo();
return 0;
}
compiled as g++-10 -O3 eigen_test.cpp -o eigen_test -fdump-tree-cfg-graph-lineno
the control flow graph for foo
function has three RESX arcs .
With noexcept specifiers the control flow graph has no branching and no missing branches are reported by code coverage tools.
Would such a feature be useful for other users? Why?
The feature will be helpful in projects with strict requirements for code coverage.