diff --git a/flang/lib/Evaluate/intrinsics.cpp b/flang/lib/Evaluate/intrinsics.cpp
--- a/flang/lib/Evaluate/intrinsics.cpp
+++ b/flang/lib/Evaluate/intrinsics.cpp
@@ -420,6 +420,8 @@
         {{"a", ExtensibleDerived, Rank::anyOrAssumedRank},
             {"mold", ExtensibleDerived, Rank::anyOrAssumedRank}},
         DefaultLogical, Rank::scalar, IntrinsicClass::inquiryFunction},
+    {"failed_images", {OptionalTEAM, SizeDefaultKIND}, KINDInt, Rank::vector,
+        IntrinsicClass::transformationalFunction},
     {"findloc",
         {{"array", AnyNumeric, Rank::array},
             {"value", AnyNumeric, Rank::scalar}, RequiredDIM, OptionalMASK,
diff --git a/flang/test/Semantics/failed_images.f90 b/flang/test/Semantics/failed_images.f90
new file mode 100644
--- /dev/null
+++ b/flang/test/Semantics/failed_images.f90
@@ -0,0 +1,91 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! Check for semantic errors in failed_images() function calls
+
+program failed_images_test
+  use iso_fortran_env, only: team_type
+  use iso_c_binding, only: c_int32_t
+  implicit none
+
+  type(team_type) home, league(2)
+  integer n, i, array(1)
+  integer, allocatable :: failure(:)
+  integer, allocatable :: wrong_rank(:,:)
+  logical non_integer, non_team
+  character, allocatable :: wrong_result(:)
+
+  !___ standard-conforming statement with no optional arguments present ___
+  failure = failed_images()
+
+  !___ standard-conforming statements with optional team argument present ___
+  failure = failed_images(home)
+  failure = failed_images(team=home)
+  failure = failed_images(league(1))
+
+  !___ standard-conforming statements with optional kind argument present ___
+  failure = failed_images(kind=c_int32_t)
+
+  !___ standard-conforming statements with both optional arguments present ___
+  failure = failed_images(home, c_int32_t)
+  failure = failed_images(team=home, kind=c_int32_t)
+  failure = failed_images(kind=c_int32_t, team=home)
+
+  !___ non-conforming statements ___
+
+  !ERROR: Actual argument for 'team=' has bad type 'LOGICAL(4)'
+  failure = failed_images(non_team)
+
+  ! non-scalar team_type argument
+  !ERROR: 'team=' argument has unacceptable rank 1
+  failure = failed_images(league)
+
+  !ERROR: Actual argument for 'team=' has bad type 'INTEGER(4)'
+  failure = failed_images(team=-1)
+
+  !ERROR: Actual argument for 'team=' has bad type 'INTEGER(4)'
+  failure = failed_images(team=i, kind=c_int32_t)
+
+  !ERROR: Actual argument for 'team=' has bad type 'INTEGER(4)'
+  failure = failed_images(i, c_int32_t)
+
+  !ERROR: Actual argument for 'team=' has bad type 'INTEGER(4)'
+  failure = failed_images(c_int32_t)
+
+  ! non constant
+  !ERROR: 'kind=' argument must be a constant scalar integer whose value is a supported kind for the intrinsic result type
+  failure = failed_images(kind=i)
+
+  ! non integer
+  !ERROR: Actual argument for 'kind=' has bad type 'LOGICAL(4)'
+  failure = failed_images(home, non_integer)
+  !ERROR: Actual argument for 'kind=' has bad type 'LOGICAL(4)'
+  failure = failed_images(kind=non_integer)
+
+  ! non-scalar
+  !ERROR: 'kind=' argument has unacceptable rank 1
+  failure = failed_images(kind=array)
+
+  !ERROR: too many actual arguments for intrinsic 'failed_images'
+  failure = failed_images(home, c_int32_t, 3)
+
+  !ERROR: Actual argument for 'team=' has bad type 'REAL(4)'
+  failure = failed_images(3.4)
+
+  !ERROR: unknown keyword argument to intrinsic 'failed_images'
+  failure = failed_images(kinds=c_int32_t)
+
+  !ERROR: unknown keyword argument to intrinsic 'failed_images'
+  failure = failed_images(home, kinds=c_int32_t)
+
+  !ERROR: unknown keyword argument to intrinsic 'failed_images'
+  failure = failed_images(my_team=home)
+
+  !ERROR: No intrinsic or user-defined ASSIGNMENT(=) matches scalar INTEGER(4) and rank 1 array of INTEGER(4)
+  n = failed_images()
+
+  !ERROR: No intrinsic or user-defined ASSIGNMENT(=) matches rank 2 array of INTEGER(4) and rank 1 array of INTEGER(4)
+  wrong_rank = failed_images()
+
+  !ERROR: No intrinsic or user-defined ASSIGNMENT(=) matches operand types CHARACTER(KIND=1) and INTEGER(4)
+  wrong_result = failed_images()
+
+end program failed_images_test