diff options
Diffstat (limited to 'lib/Analysis/StackSafetyAnalysis.cpp')
-rw-r--r-- | lib/Analysis/StackSafetyAnalysis.cpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/Analysis/StackSafetyAnalysis.cpp b/lib/Analysis/StackSafetyAnalysis.cpp index 66b03845864f..4cf235db86eb 100644 --- a/lib/Analysis/StackSafetyAnalysis.cpp +++ b/lib/Analysis/StackSafetyAnalysis.cpp @@ -1,9 +1,8 @@ //===- StackSafetyAnalysis.cpp - Stack memory safety analysis -------------===// // -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // @@ -416,7 +415,9 @@ class StackSafetyDataFlowAnalysis { updateOneNode(F.first, F.second); } void runDataFlow(); +#ifndef NDEBUG void verifyFixedPoint(); +#endif public: StackSafetyDataFlowAnalysis( @@ -527,11 +528,13 @@ void StackSafetyDataFlowAnalysis::runDataFlow() { } } +#ifndef NDEBUG void StackSafetyDataFlowAnalysis::verifyFixedPoint() { WorkList.clear(); updateAllNodes(); assert(WorkList.empty()); } +#endif StackSafetyGlobalInfo StackSafetyDataFlowAnalysis::run() { runDataFlow(); |