|
|
|
|
|
|
by andrewaylett
1306 days ago
|
|
|
Consider function inlining, or use of a macro to for some generic code. For safety, we include a null check in the inlined code. But then we call it from a site where the variable is known to not be null. The compiler hasn't found UB through static analysis, it has found a redundant null check. |
|
|