1 /*
2  * Copyright (C) 2017 The Android Open Source Project
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  *  * Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  *  * Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in
12  *    the documentation and/or other materials provided with the
13  *    distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  */
28 
29 #ifndef _STDLIB_H
30 #error "Never include this file directly; instead, include <stdlib.h>"
31 #endif
32 
33 #if defined(__BIONIC_FORTIFY)
34 
35 /* PATH_MAX is unavailable without polluting the namespace, but it's always 4096 on Linux */
36 #define __PATH_MAX 4096
37 
38 char* realpath(const char* path, char* resolved)
39         __clang_error_if(!path, "'realpath': NULL path is never correct; flipped arguments?")
40         __clang_error_if(__bos_unevaluated_lt(__bos(resolved), __PATH_MAX),
41                          "'realpath' output parameter must be NULL or a pointer to a buffer "
42                          "with >= PATH_MAX bytes");
43 
44 /* No need for a definition; the only issues we can catch are at compile-time. */
45 
46 #undef __PATH_MAX
47 #endif /* defined(__BIONIC_FORTIFY) */
48