Playing With Pointers

I just realized that a C++ compiler can never be theoretically correct. This follows from the fact that C++ templates are Turing Complete (no, really) and the halting problem. We can never say for sure whether a template expression is indeed infinitely recursive or is just taking too long to “parse”. Sweet, but disappointing.

For certain reasons, I had to lint a rather large autoconf based project. While running splint *.c is trivial for a small project, things can get rather convoluted with autoconf‘s intervention, notably when it comes to mentioning include directories on the command line. The (rather obvious) solution I used was to have make invoke a [...]