| commit | b8d466d3e1d3b1998e79b1f6205d979ae5adbf52 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Mon, 11 Sep 2023 10:25:46 +0000 (11 13:25 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Mon, 11 Sep 2023 10:25:46 +0000 (11 13:25 +0300) | ||
| tree | a0b3e525f5b1335785712f7de33c99cdaa38b82a | treesnapshot (tar.gz zip) |
| parent | f7d27a9db0f500fa24ebbbf76225ac10917a7bc3 | commitdiff |
preempt_info: add class_raw_spinlock_irqsave_destructor()
Smatch thinks that class_raw_spinlock_irqsave_constructor() always
disables preempt but that class_raw_spinlock_irqsave_destructor() only
conditionally restores it. The if statement looks like this:
if (_T->lock) { _unlock; }
Hard code that it always restores the preempt count. This is sort of a
not ideal. Ideally this function would just be parsed inline...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
Smatch thinks that class_raw_spinlock_irqsave_constructor() always
disables preempt but that class_raw_spinlock_irqsave_destructor() only
conditionally restores it. The if statement looks like this:
if (_T->lock) { _unlock; }
Hard code that it always restores the preempt count. This is sort of a
not ideal. Ideally this function would just be parsed inline...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| check_preempt_info.c | diffblobblamehistory |