Also add some annotations to remove some false positives.

There remain some boost-related false positives, it’s unclear how to suppress
them.