record_fde(section_offset_type fde_offset, unsigned char fde_encoding)
{
if (!this->any_unrecognized_eh_frame_sections_)
- {
- Hold_lock(*this->lock_);
- this->fde_offsets_.push_back(std::make_pair(fde_offset, fde_encoding));
- }
+ this->fde_offsets_.push_back(std::make_pair(fde_offset, fde_encoding));
}
protected:
// Whether we found any .eh_frame sections which we could not
// process.
bool any_unrecognized_eh_frame_sections_;
- // Lock held while updating fde_offsets_.
- Lock* lock_;
};
// This class holds an FDE.