text: // Copyright 2016 The Fuchsia Authors. All rights reserved.
  // Use of this source code is governed by a BSD-style license that can be
  // found in the LICENSE file.
  
  #ifndef SRC_FIRMWARE_GIGABOOT_INCLUDE_ASSERT_H_
  #define SRC_FIRMWARE_GIGABOOT_INCLUDE_ASSERT_H_
  
  #include <stdio.h>
  
  #define static_assert(e, msg) _Static_assert(e, msg)
  
  #define assert(x)                                                       \
    do {                                                                  \
      if (unlikely(!(x))) {                                               \
        printf("ASSERT FAILED at (%s:%d): %s\n", __FILE__, __LINE__, #x); \
        while (1) {                                                       \
        }                                                                 \
      }                                                                   \
    } while (0)
  
  #endif  // SRC_FIRMWARE_GIGABOOT_INCLUDE_ASSERT_H_
  