mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 03:25:54 -04:00
462446fd9a
Summary: Finally, we are here! Analyzes OpenMP Structured Blocks and checks that no exception escapes out of the Structured Block it was thrown in. As per the OpenMP specification, structured block is an executable statement, possibly compound, with a single entry at the top and a single exit at the bottom. Which means, ``throw`` may not be used to to 'exit' out of the structured block. If an exception is not caught in the same structured block it was thrown in, the behaviour is undefined / implementation defined, the program will likely terminate. Reviewers: JonasToth, aaron.ballman, baloghadamsoftware, gribozavr Reviewed By: aaron.ballman, gribozavr Subscribers: mgorny, xazax.hun, rnkovacs, guansong, jdoerfert, cfe-commits, ABataev Tags: #clang-tools-extra, #openmp, #clang Differential Revision: https://reviews.llvm.org/D59466 llvm-svn: 356802
42 lines
1.3 KiB
C++
42 lines
1.3 KiB
C++
//===--- OpenMPTidyModule.cpp - clang-tidy--------------------------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "../ClangTidy.h"
|
|
#include "../ClangTidyModule.h"
|
|
#include "../ClangTidyModuleRegistry.h"
|
|
#include "ExceptionEscapeCheck.h"
|
|
#include "UseDefaultNoneCheck.h"
|
|
|
|
namespace clang {
|
|
namespace tidy {
|
|
namespace openmp {
|
|
|
|
/// This module is for OpenMP-specific checks.
|
|
class OpenMPModule : public ClangTidyModule {
|
|
public:
|
|
void addCheckFactories(ClangTidyCheckFactories &CheckFactories) override {
|
|
CheckFactories.registerCheck<ExceptionEscapeCheck>(
|
|
"openmp-exception-escape");
|
|
CheckFactories.registerCheck<UseDefaultNoneCheck>(
|
|
"openmp-use-default-none");
|
|
}
|
|
};
|
|
|
|
// Register the OpenMPTidyModule using this statically initialized variable.
|
|
static ClangTidyModuleRegistry::Add<OpenMPModule>
|
|
X("openmp-module", "Adds OpenMP-specific checks.");
|
|
|
|
} // namespace openmp
|
|
|
|
// This anchor is used to force the linker to link in the generated object file
|
|
// and thus register the OpenMPModule.
|
|
volatile int OpenMPModuleAnchorSource = 0;
|
|
|
|
} // namespace tidy
|
|
} // namespace clang
|