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 /Documentation | |
| 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 'Documentation')
| -rw-r--r-- | Documentation/IR.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/IR.rst b/Documentation/IR.rst index 5b9155f7..56f02318 100644 --- a/Documentation/IR.rst +++ b/Documentation/IR.rst @@ -270,6 +270,9 @@ They all have the following signature: .. op:: OP_SCAST Cast to signed integer. +.. op:: OP_UTPTR + Cast from unsigned integer to pointer type. + .. op:: OP_PTRCAST Cast to pointer. |