PLD: test that code does not raise any static analysis warnings