GraphBLAS / graphblas-api-cpp

GraphBLAS C++ API Specification.
https://graphblas.org/graphblas-api-cpp/
10 stars 1 forks source link

Inspect and normalize our specification of undefined behavior #19

Open BenBrock opened 1 year ago

BenBrock commented 1 year ago

We must ensure we distinguish between two kinds of UB:

1) UB where the behavior of the program is undefined

2) UB where the state of an object, value returned from a function are undefined.