blob: a0ee4504965306ede266ab1b9bdb98430da97430 [file] [log] [blame]
Zhongxing Xu1c9e6b12010-10-10 05:45:30 +00001// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -analyzer-store region -verify %s
2
3extern int chroot(const char* path);
4extern int chdir(const char* path);
5
6void foo(void) {
7}
8
9void f1(void) {
10 chroot("/usr/local"); // root changed.
11 foo(); // expected-warning {{No call of chdir("/") immediately after chroot}}
12}
13
14void f2(void) {
15 chroot("/usr/local"); // root changed.
16 chdir("/"); // enter the jail.
17 foo(); // no-warning
18}
19
20void f3(void) {
21 chroot("/usr/local"); // root changed.
22 chdir("../"); // change working directory, still out of jail.
23 foo(); // expected-warning {{No call of chdir("/") immediately after chroot}}
24}