ClangBuiltLinux / thread-safety-analysis

A research project into applying Clang's Thread Safety Analysis to the Linux Kernel
Other
6 stars 0 forks source link

drivers/gpu/drm/i915/intel_i2c.c: gmbus_{lock,unlock}_bus: cannot annotate due to aliasing #168

Open bulwahn opened 4 years ago

bulwahn commented 4 years ago
drivers/gpu/drm/i915/intel_i2c.c:784:1: warning: mutex 'dev_priv->gmbus_mutex' is still held at the end of function [-Wthread-safety-analysis]
}
^
drivers/gpu/drm/i915/intel_i2c.c:783:2: note: mutex acquired here
        mutex_lock(&dev_priv->gmbus_mutex);
        ^
drivers/gpu/drm/i915/intel_i2c.c:801:2: warning: releasing mutex 'dev_priv->gmbus_mutex' that was not held [-Wthread-safety-analysis]
        mutex_unlock(&dev_priv->gmbus_mutex);
        ^