| //== Environment.cpp - Map from Expr* to Locations/Values -------*- C++ -*--==// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file defined the Environment and EnvironmentManager classes. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "clang/Analysis/PathSensitive/Environment.h" |
| #include "llvm/ADT/ImmutableMap.h" |
| |
| using namespace clang; |
| |
| //===----------------------------------------------------------------------===// |
| // Environment. |
| //===----------------------------------------------------------------------===// |
| |
| |
| |
| |
| |
| //===----------------------------------------------------------------------===// |
| // Environment Manager. |
| //===----------------------------------------------------------------------===// |