parent
c1bd3a5f8b
commit
4c23963de8
|
@ -1,3 +1,16 @@
|
||||||
|
//== ConstraintManager.h - Constraints on symbolic 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 interface to manage constraints on symbolic values.
|
||||||
|
//
|
||||||
|
//===----------------------------------------------------------------------===//
|
||||||
|
|
||||||
#ifndef LLVM_CLANG_ANALYSIS_CONSTRAINT_MANAGER_H
|
#ifndef LLVM_CLANG_ANALYSIS_CONSTRAINT_MANAGER_H
|
||||||
#define LLVM_CLANG_ANALYSIS_CONSTRAINT_MANAGER_H
|
#define LLVM_CLANG_ANALYSIS_CONSTRAINT_MANAGER_H
|
||||||
|
|
||||||
|
|
|
@ -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/ConstraintManager.h"
|
||||||
#include "clang/Analysis/PathSensitive/GRState.h"
|
#include "clang/Analysis/PathSensitive/GRState.h"
|
||||||
#include "clang/Analysis/PathSensitive/GRStateTrait.h"
|
#include "clang/Analysis/PathSensitive/GRStateTrait.h"
|
||||||
|
|
Loading…
Reference in New Issue