The compiler has an implicit requirement that whenever a warning is emitted at a source code position, the Log singleton must already be configured for the corresponding source file via the method Log.useSource(). In particular, this must be done before any kind of attribution.

During testing it was discovered that there are two places in JavacTrees.java where this is not being done before recursing into attribution. This happens in these two methods:

public TypeMirror getType(DocTreePath path)

private Symbol attributeDocReference(TreePath path, DCReference ref)