diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/ChangeLog | 5 | ||||
| -rw-r--r-- | admin/coccinelle/xsave.cocci | 11 |
2 files changed, 16 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 7d77becb522..5da0bf0c67d 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-01-15 Dmitry Antipov <dmantipov@yandex.ru> | ||
| 2 | |||
| 3 | * coccinelle/xsave.cocci: Semantic patch to adjust users of | ||
| 4 | XSAVE_POINTER and XSAVE_INTEGER macros. | ||
| 5 | |||
| 1 | 2013-01-03 Glenn Morris <rgm@gnu.org> | 6 | 2013-01-03 Glenn Morris <rgm@gnu.org> |
| 2 | 7 | ||
| 3 | * check-doc-strings: Update for CVS->bzr, moved lispref/ directory. | 8 | * check-doc-strings: Update for CVS->bzr, moved lispref/ directory. |
diff --git a/admin/coccinelle/xsave.cocci b/admin/coccinelle/xsave.cocci new file mode 100644 index 00000000000..5172bb55b33 --- /dev/null +++ b/admin/coccinelle/xsave.cocci | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | // Adjust users of XSAVE_POINTER and XSAVE_INTEGER. | ||
| 2 | @@ | ||
| 3 | expression E; | ||
| 4 | @@ | ||
| 5 | ( | ||
| 6 | - XSAVE_POINTER (E) | ||
| 7 | + XSAVE_POINTER (E, 0) | ||
| 8 | | | ||
| 9 | - XSAVE_INTEGER (E) | ||
| 10 | + XSAVE_INTEGER (E, 1) | ||
| 11 | ) | ||