diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-29 15:09:12 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-29 15:09:12 +0000 |
| commit | 4c23963de81be39967007ba597bdd44b7d50f19c (patch) | |
| tree | f5a901264d1afe2eed512de613baaa3302d0e5de /clang/lib/Analysis/BasicConstraintManager.cpp | |
| parent | c1bd3a5f8bf6190dc934b8c98b088618c6c4f2e2 (diff) | |
| download | bcm5719-llvm-4c23963de81be39967007ba597bdd44b7d50f19c.tar.gz bcm5719-llvm-4c23963de81be39967007ba597bdd44b7d50f19c.zip | |
Added LLVM comment header.
llvm-svn: 55537
Diffstat (limited to 'clang/lib/Analysis/BasicConstraintManager.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicConstraintManager.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/clang/lib/Analysis/BasicConstraintManager.cpp b/clang/lib/Analysis/BasicConstraintManager.cpp index 7298d355c4b..a42fbeef52e 100644 --- a/clang/lib/Analysis/BasicConstraintManager.cpp +++ b/clang/lib/Analysis/BasicConstraintManager.cpp @@ -1,3 +1,17 @@ +//== BasicConstraintManager.cpp - Manage basic constraints.------*- C++ -*--==// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This file defines BasicConstraintManager, a class that tracks simple +// equality and inequality constraints on symbolic values of GRState. +// +//===----------------------------------------------------------------------===// + #include "clang/Analysis/PathSensitive/ConstraintManager.h" #include "clang/Analysis/PathSensitive/GRState.h" #include "clang/Analysis/PathSensitive/GRStateTrait.h" |
