[OPENMP]Add support for analysis of if clauses.
authorAlexey Bataev <a.bataev@hotmail.com>
Tue, 16 Jul 2019 14:51:46 +0000 (14:51 +0000)
committerAlexey Bataev <a.bataev@hotmail.com>
Tue, 16 Jul 2019 14:51:46 +0000 (14:51 +0000)
commit655cb4a2d702b70899f3ad384d047537e02698d8
treea80526516048bdccc5d8eb557ba0588e2618ed62
parent22c4a147a96447b38ce90e59b27c33079f1aa203
[OPENMP]Add support for analysis of if clauses.

Summary:
Added support for analysis of if clauses in the OpenMP directives to be
able to check for the use of uninitialized variables.

Reviewers: NoQ

Subscribers: guansong, jfb, jdoerfert, caomhin, kkwli0, cfe-commits

Tags: clang

Differential Revision: https://reviews.llvm.org/D64646

llvm-svn: 366211
28 files changed:
clang/include/clang/AST/OpenMPClause.h
clang/lib/AST/OpenMPClause.cpp
clang/lib/Analysis/CFG.cpp
clang/test/Analysis/cfg-openmp.cpp
clang/test/OpenMP/cancel_if_messages.cpp
clang/test/OpenMP/distribute_parallel_for_if_messages.cpp
clang/test/OpenMP/distribute_parallel_for_simd_if_messages.cpp
clang/test/OpenMP/parallel_for_if_messages.cpp
clang/test/OpenMP/parallel_for_simd_if_messages.cpp
clang/test/OpenMP/parallel_if_messages.cpp
clang/test/OpenMP/parallel_sections_if_messages.cpp
clang/test/OpenMP/target_data_if_messages.cpp
clang/test/OpenMP/target_enter_data_if_messages.cpp
clang/test/OpenMP/target_exit_data_if_messages.cpp
clang/test/OpenMP/target_if_messages.cpp
clang/test/OpenMP/target_parallel_for_if_messages.cpp
clang/test/OpenMP/target_parallel_for_simd_if_messages.cpp
clang/test/OpenMP/target_parallel_if_messages.cpp
clang/test/OpenMP/target_simd_if_messages.cpp
clang/test/OpenMP/target_teams_distribute_if_messages.cpp
clang/test/OpenMP/target_teams_distribute_parallel_for_if_messages.cpp
clang/test/OpenMP/target_teams_distribute_parallel_for_simd_if_messages.cpp
clang/test/OpenMP/target_teams_distribute_simd_if_messages.cpp
clang/test/OpenMP/target_teams_if_messages.cpp
clang/test/OpenMP/target_update_if_messages.cpp
clang/test/OpenMP/task_if_messages.cpp
clang/test/OpenMP/teams_distribute_parallel_for_if_messages.cpp
clang/test/OpenMP/teams_distribute_parallel_for_simd_if_messages.cpp