Line data Source code
1 : /*
2 : * Copyright (c) 2014-2016 ISPRAS (http://www.ispras.ru)
3 : * Institute for System Programming of the Russian Academy of Sciences
4 : *
5 : * Licensed under the Apache License, Version 2.0 (the "License");
6 : * you may not use this file except in compliance with the License.
7 : * You may obtain a copy of the License at
8 : *
9 : * http://www.apache.org/licenses/LICENSE-2.0
10 : *
11 : * Unless required by applicable law or agreed to in writing, software
12 : * distributed under the License is distributed on an "AS IS" BASIS,
13 : * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 : * ee the License for the specific language governing permissions and
15 : * limitations under the License.
16 : */
17 :
18 : #include <verifier/memory.h>
19 :
20 : long ldv_is_err(const void *ptr)
21 : {
22 19 : return ((unsigned long)ptr > LDV_PTR_MAX);
23 : }
24 :
25 : void *ldv_err_ptr(long error)
26 : {
27 0 : return (void *)(LDV_PTR_MAX - error);
28 : }
29 :
30 : long ldv_ptr_err(const void *ptr)
31 : {
32 0 : return (long)(LDV_PTR_MAX - (unsigned long)ptr);
33 : }
34 :
35 : long ldv_is_err_or_null(const void *ptr)
36 : {
37 0 : return !ptr || ldv_is_err((unsigned long)ptr);
38 0 : }
|