Infer issue not being detected - CHECKERS_CALLS_EXPENSIVE_METHOD

[yorkueecsuser]

This infer bug is being detected in the Java code below, CHECKERS_CALLS_EXPENSIVE_METHOD, with version 1.0.0 and the --annotation-reachability flag, 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.*;

class C {
  @PerformanceCritical
  void perfCritical() {
    expensive();
  }
  @Expensive
  void expensive() {}
  // BUG: CHECKERS_CALLS_EXPENSIVE_METHOD

  public void showBug() {
    perfCritical();
  }
}

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