1/* RTL specific diagnostic subroutines for GCC
2   Copyright (C) 2001-2015 Free Software Foundation, Inc.
3   Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 3, or (at your option)
10any later version.
11
12GCC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3.  If not see
19<http://www.gnu.org/licenses/>.  */
20
21#include "config.h"
22#include "system.h"
23#include "coretypes.h"
24#include "tm.h"
25#include "rtl-error.h"
26#include "insn-attr.h"
27#include "insn-config.h"
28#include "input.h"
29#include "intl.h"
30#include "diagnostic.h"
31
32static location_t location_for_asm (const rtx_insn *);
33static void diagnostic_for_asm (const rtx_insn *, const char *, va_list *,
34				diagnostic_t) ATTRIBUTE_GCC_DIAG(2,0);
35
36/* Figure the location of the given INSN.  */
37static location_t
38location_for_asm (const rtx_insn *insn)
39{
40  rtx body = PATTERN (insn);
41  rtx asmop;
42  location_t loc;
43
44  /* Find the (or one of the) ASM_OPERANDS in the insn.  */
45  if (GET_CODE (body) == SET && GET_CODE (SET_SRC (body)) == ASM_OPERANDS)
46    asmop = SET_SRC (body);
47  else if (GET_CODE (body) == ASM_OPERANDS)
48    asmop = body;
49  else if (GET_CODE (body) == PARALLEL
50	   && GET_CODE (XVECEXP (body, 0, 0)) == SET)
51    asmop = SET_SRC (XVECEXP (body, 0, 0));
52  else if (GET_CODE (body) == PARALLEL
53	   && GET_CODE (XVECEXP (body, 0, 0)) == ASM_OPERANDS)
54    asmop = XVECEXP (body, 0, 0);
55  else
56    asmop = NULL;
57
58  if (asmop)
59    loc = ASM_OPERANDS_SOURCE_LOCATION (asmop);
60  else
61    loc = input_location;
62  return loc;
63}
64
65/* Report a diagnostic MESSAGE (an error or a WARNING) at the line number
66   of the insn INSN.  This is used only when INSN is an `asm' with operands,
67   and each ASM_OPERANDS records its own source file and line.  */
68static void
69diagnostic_for_asm (const rtx_insn *insn, const char *msg, va_list *args_ptr,
70		    diagnostic_t kind)
71{
72  diagnostic_info diagnostic;
73
74  diagnostic_set_info (&diagnostic, msg, args_ptr,
75		       location_for_asm (insn), kind);
76  report_diagnostic (&diagnostic);
77}
78
79void
80error_for_asm (const rtx_insn *insn, const char *gmsgid, ...)
81{
82  va_list ap;
83
84  va_start (ap, gmsgid);
85  diagnostic_for_asm (insn, gmsgid, &ap, DK_ERROR);
86  va_end (ap);
87}
88
89void
90warning_for_asm (const rtx_insn *insn, const char *gmsgid, ...)
91{
92  va_list ap;
93
94  va_start (ap, gmsgid);
95  diagnostic_for_asm (insn, gmsgid, &ap, DK_WARNING);
96  va_end (ap);
97}
98
99void
100_fatal_insn (const char *msgid, const_rtx insn, const char *file, int line,
101	     const char *function)
102{
103  error ("%s", _(msgid));
104
105  /* The above incremented error_count, but isn't an error that we want to
106     count, so reset it here.  */
107  errorcount--;
108
109  debug_rtx (insn);
110  fancy_abort (file, line, function);
111}
112
113void
114_fatal_insn_not_found (const_rtx insn, const char *file, int line,
115		       const char *function)
116{
117  if (INSN_CODE (insn) < 0)
118    _fatal_insn ("unrecognizable insn:", insn, file, line, function);
119  else
120    _fatal_insn ("insn does not satisfy its constraints:",
121		insn, file, line, function);
122}
123