Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched defs:ConstraintManager (Results 1 - 11 of 11) sorted by null

/external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp	1 //== ConstraintManager.cpp - Constraints on symbolic values -----*- C++ -*--==// 19 ConstraintManager::~ConstraintManager() {} 28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
/external/trappy/trappy/plotter/
Constraint.py	21 is expected to use the :mod:`trappy.plotter.Constraint.ConstraintManager` 208 class ConstraintManager(object):
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 134 /// Note that a ConstraintManager is not obligated to return a concretized 162 /// to avoid infinite recursions within the ConstraintManager. 164 /// Note that this flag allows the ConstraintManager to be re-entrant, 169 /// all SVal values. This method returns true if the ConstraintManager can 180 std::unique_ptr<ConstraintManager>
/prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h	1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==// 62 class ConstraintManager { 64 ConstraintManager() : NotifyAssumeClients(true) {} 66 virtual ~ConstraintManager(); 135 /// Note that a ConstraintManager is not obligated to return a concretized 165 /// to avoid infinite recursions within the ConstraintManager. 167 /// Note that this flag allows the ConstraintManager to be re-entrant, 172 /// all SVal values. This method returns true if the ConstraintManager can 183 std::unique_ptr<ConstraintManager> 187 std::unique_ptr<ConstraintManager>     [all...]

Completed in 596 milliseconds