[PATCH] D64646: [OPENMP]Add support for analysis of if clauses.

[Alexey Bataev via Phabricator via cfe-commits]

ABataev created this revision.
ABataev added a reviewer: NoQ.
Herald added subscribers: jdoerfert, jfb, guansong.
Herald added a project: clang.

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


Repository:
  rC Clang

https://reviews.llvm.org/D64646

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64646.209520.patch
Type: text/x-patch
Size: 46408 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190712/3de18e10/attachment-0001.bin>