The author of the article actually develops the tool that can help the programmers detect such errors. The compilers don't report such kind of errors because it

The author of the article actually develops the tool that can help the programmers detect such errors. The compilers don't report such kind of errors because it was traditionally to expensive to detect them. The special tool, like the one mentioned in the article, doesn't have to produce the optimized code and doesn't have to be run as frequently as on each compilation but it can allow the programmer to detect potential problems. It's surely worth using it.