Infer issue not being detected - CHECKERS_ALLOCATES_MEMORY

This infer bug is being detected in the Java code below CHECKERS_ALLOCATES_MEMORY with version 1.0.0, and this flag --annotation-reachability, but it's not being detected when scanned with infer 1.2.0.

Is this a known issue, and will the documentation be updated if a different flag is used?

`````````````````````
import com.facebook.infer.annotation.NoAllocation;

class BuggyCode {

@NoAllocation
void directlyAllocatingMethod() {
new Object();
}

public void showBug() {
directlyAllocatingMethod();
}
}
`````````````````````

Command:
infer run --annotation-reachability -- javac BuggyCode.java