locker

type Lock_op struct {
	Name     string
	Inst     ssa.Instruction
	Is_RLock bool
	Is_defer bool

	Wrappers []*Wrapper //This field is specially designed for C6A

	Parent *Locker
}

type Locker struct {
	Name    string
	Type    string
	Locks   []*Lock_op
	Unlocks []*Unlock_op
	Pkg     string // Don't use *ssa.Package here! It's not reliable

	Status string
}

type Unlock_op struct {
	Name       string
	Inst       ssa.Instruction
	Is_RUnlock bool
	Is_defer   bool

	Parent *Locker
}

type Wrapper struct {
	Fn     *ssa.Function // When compare two Wrapper, can't directly compare Fn or inst, because pointer will change during each compilation
	Fn_str string
	Inst   ssa.Instruction
	Callee *Wrapper // if callee is nil, then inst is the Lock_op itself, else inst is calling to another Wrapper
	Op     *Lock_op // the wrapped operation
}