zephyr

Commit Graph

Author	SHA1	Message	Date
Himanshu Jha	6f98ae38a2	coccinelle: irq_lock.cocci: Update script * Provide a single liner description at top using `///` comments. This one liner is displayed when using `--verbose` mode of coccicheck. * Specify Condidence level property adhering to coccinelle.rst section "Proposing new semantic patches". * Add virtual patch rule to handle the patch case when coccicheck is supplied with `--mode=patch` option. * Add `depends on !(file in "ext")` to ignore reports from `ext/` directory. * Simplify rule to use disjunctions and use "exists" to match any available control path. Suggested-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Himanshu Jha <himanshujha199640@gmail.com>	2018-11-07 10:31:41 -05:00
Flavio Ceolin	0866d18d03	irq: Fix irq_lock api usage irq_lock returns an unsigned int, though, several places was using signed int. This commit fix this behaviour. In order to avoid this error happens again, a coccinelle script was added and can be used to check violations. Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>	2018-08-16 19:47:41 -07:00

Author

SHA1

Message

Date

Himanshu Jha

6f98ae38a2

coccinelle: irq_lock.cocci: Update script

* Provide a single liner description at top using `///`
  comments. This one liner is displayed when using `--verbose`
  mode of coccicheck.

* Specify Condidence level property adhering to coccinelle.rst
  section "Proposing new semantic patches".

* Add virtual patch rule to handle the patch case when coccicheck
  is supplied with `--mode=patch` option.

* Add `depends on !(file in "ext")` to ignore reports from `ext/`
  directory.

* Simplify rule to use disjunctions and use "exists" to match any
  available control path.

Suggested-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Himanshu Jha <himanshujha199640@gmail.com>

2018-11-07 10:31:41 -05:00

Flavio Ceolin

0866d18d03

irq: Fix irq_lock api usage

irq_lock returns an unsigned int, though, several places was using
signed int. This commit fix this behaviour.

In order to avoid this error happens again, a coccinelle script was
added and can be used to check violations.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>

2018-08-16 19:47:41 -07:00

2 Commits