Let’s consider the following code: function f(x : number) { if (x === 1) { if (x === 2) {} // error } else { if (x === 1) {} // OK } } Here, the compiler gives me an error on x === 2. The reason is simple: if execution has reached this block… Read More Why TypeScript flow analysis doesn't cover else block?

I’ve been working on a large C++ program and I forgot to add my usual list of compiler flags/warnings when working on a C project. After enabling the -fanalyzer flag, I began to get a lot of "warning: use of uninitialized value ‘<unknown>’" messages from GCC 12.2 throughout my code. Here is an isolated example… Read More Why is GCC giving me a use of uninitialized value warning?