src/share/vm/ci/ciFlags.hpp

rev 8156 : 8157181: Compilers accept modification of final fields outside initializer methods
Summary: Track initialized final field updates; disable constant folding if an update is detected.
Reviewed-by: vlivanov, dnsimon, forax, never, kvn, coleenp

*** 49,67 ****
    bool is_public      () const         { return (_flags & JVM_ACC_PUBLIC      ) != 0; }
    bool is_private     () const         { return (_flags & JVM_ACC_PRIVATE     ) != 0; }
    bool is_protected   () const         { return (_flags & JVM_ACC_PROTECTED   ) != 0; }
    bool is_static      () const         { return (_flags & JVM_ACC_STATIC      ) != 0; }
    bool is_final       () const         { return (_flags & JVM_ACC_FINAL       ) != 0; }
!   bool is_synchronized() const         { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; }
    bool is_super       () const         { return (_flags & JVM_ACC_SUPER       ) != 0; }
    bool is_volatile    () const         { return (_flags & JVM_ACC_VOLATILE    ) != 0; }
    bool is_transient   () const         { return (_flags & JVM_ACC_TRANSIENT   ) != 0; }
    bool is_native      () const         { return (_flags & JVM_ACC_NATIVE      ) != 0; }
    bool is_interface   () const         { return (_flags & JVM_ACC_INTERFACE   ) != 0; }
    bool is_abstract    () const         { return (_flags & JVM_ACC_ABSTRACT    ) != 0; }
    bool is_strict      () const         { return (_flags & JVM_ACC_STRICT      ) != 0; }
!   bool is_stable      () const         { return (_flags & JVM_ACC_FIELD_STABLE) != 0; }
  
    // Conversion
    jint   as_int()                      { return _flags; }
  
    void print_klass_flags(outputStream* st = tty);
--- 49,72 ----
    bool is_public               () const { return (_flags & JVM_ACC_PUBLIC                    ) != 0; }
    bool is_private              () const { return (_flags & JVM_ACC_PRIVATE                   ) != 0; }
    bool is_protected            () const { return (_flags & JVM_ACC_PROTECTED                 ) != 0; }
    bool is_static               () const { return (_flags & JVM_ACC_STATIC                    ) != 0; }
    bool is_final                () const { return (_flags & JVM_ACC_FINAL                     ) != 0; }
!   bool is_synchronized         () const { return (_flags & JVM_ACC_SYNCHRONIZED              ) != 0; }
    bool is_super                () const { return (_flags & JVM_ACC_SUPER                     ) != 0; }
    bool is_volatile             () const { return (_flags & JVM_ACC_VOLATILE                  ) != 0; }
    bool is_transient            () const { return (_flags & JVM_ACC_TRANSIENT                 ) != 0; }
    bool is_native               () const { return (_flags & JVM_ACC_NATIVE                    ) != 0; }
    bool is_interface            () const { return (_flags & JVM_ACC_INTERFACE                 ) != 0; }
    bool is_abstract             () const { return (_flags & JVM_ACC_ABSTRACT                  ) != 0; }
    bool is_strict               () const { return (_flags & JVM_ACC_STRICT                    ) != 0; }
!   bool is_stable               () const { return (_flags & JVM_ACC_FIELD_STABLE              ) != 0; }
!   // In case the current object represents a field, return true if
!   // the field is modified outside of instance initializer methods
!   // (or class/initializer methods if the field is static) and false
!   // otherwise.
!   bool has_initialized_final_update() const { return (_flags & JVM_ACC_FIELD_INITIALIZED_FINAL_UPDATE) != 0; };
  
    // Conversion
    jint   as_int()                      { return _flags; }
  
    void print_klass_flags(outputStream* st = tty);