1                 : /*
       2                 :  * Copyright (c) 2012 The Native Client Authors. All rights reserved.
       3                 :  * Use of this source code is governed by a BSD-style license that can be
       4                 :  * found in the LICENSE file.
       5                 :  */
       6                 : 
       7                 : #include "native_client/src/trusted/validator_arm/problem_reporter.h"
       8                 : 
       9                 : #include <assert.h>
      10                 : 
      11                 : #include <cstdarg>
      12                 : #include <cstdio>
      13                 : #include <cstring>
      14                 : 
      15                 : #include "native_client/src/include/portability_io.h"
      16                 : 
      17                 : namespace nacl_arm_val {
      18                 : 
      19                 : void ProblemReporter::ReportProblemDiagnostic(nacl_arm_dec::Violation violation,
      20                 :                                               uint32_t vaddr,
      21               0 :                                               const char* format, ...) {
      22                 :   // Start by adding address of diagnostic.
      23                 :   va_list args;
      24               0 :   va_start(args, format);
      25               0 :   VSNPRINTF(buffer, kBufferSize, format, args);
      26               0 :   va_end(args);
      27               0 :   ReportProblemMessage(violation, vaddr, buffer);
      28               0 : }
      29                 : 
      30                 : }  // namespace nacl_arm_val