diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-08-14 15:55:46 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-23 07:46:40 +0200 |
| commit | dc4117c69ef98d2e79de1fab18ea0ba9d1496344 (patch) | |
| tree | c27eba2819576ac4878a1c92672cc79b62407c76 /validation/backend | |
| parent | 52856c815a191b73530557133bd44ec478f3fece (diff) | |
| download | sparse-dev-dc4117c69ef98d2e79de1fab18ea0ba9d1496344.tar.gz | |
cast: specialize casts from unsigned to pointers
Currently all casts to pointers are processed alike.
This is simple but rather unconvenient as it correspond to
different operations that obeys to different rules and
which later need extra checks.
Change this by using a specific instructions (OP_UTPTR) for
unsigned integer to pointers.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/pointer-sub.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/backend/pointer-sub.c b/validation/backend/pointer-sub.c index 3cb8f5a9..5c99f4fa 100644 --- a/validation/backend/pointer-sub.c +++ b/validation/backend/pointer-sub.c @@ -13,5 +13,5 @@ long subvx3(void *p, int a) { return (p - ((void*)0)) ^ 3; } /* * check-name: pointer-sub - * check-command: sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-int-to-pointer-cast -Wno-decl -c $file -o tmp.o */ |