mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-02-14 04:09:38 +08:00
d41c4351fe
include: * ansidecl.h (ATTRIBUTE_NONNULL, ATTRIBUTE_NULL_PRINTF, ATTRIBUTE_NULL_PRINTF_1, ATTRIBUTE_NULL_PRINTF_2, ATTRIBUTE_NULL_PRINTF_3, ATTRIBUTE_NULL_PRINTF_4, ATTRIBUTE_NULL_PRINTF_5): New. (ATTRIBUTE_PRINTF): Add ATTRIBUTE_NONNULL. gcc: * dwarf2asm.h: Delete obsolete comment. (dw2_asm_output_data, dw2_asm_output_delta, dw2_asm_output_offset, dw2_asm_output_pcrel, dw2_asm_output_addr, dw2_asm_output_addr_rtx, dw2_asm_output_encoded_addr_rtx, dw2_asm_output_nstring, dw2_asm_output_data_uleb128, dw2_asm_output_data_sleb128, dw2_asm_output_delta_uleb128, dw2_asm_output_delta_sleb128): Add ATTRIBUTE_NULL_PRINTF. From-SVN: r64505
79 lines
2.6 KiB
C
79 lines
2.6 KiB
C
/* Dwarf2 assembler output helper routines.
|
|
Copyright (C) 2001 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 2, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING. If not, write to the Free
|
|
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
|
02111-1307, USA. */
|
|
|
|
|
|
extern void dw2_assemble_integer PARAMS ((int, rtx));
|
|
|
|
extern void dw2_asm_output_data PARAMS ((int, unsigned HOST_WIDE_INT,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_delta PARAMS ((int, const char *,
|
|
const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_4;
|
|
|
|
extern void dw2_asm_output_offset PARAMS ((int, const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_pcrel PARAMS ((int, const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_addr PARAMS ((int, const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_addr_rtx PARAMS ((int, rtx,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_encoded_addr_rtx PARAMS ((int, rtx,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_nstring PARAMS ((const char *, size_t,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_data_uleb128 PARAMS ((unsigned HOST_WIDE_INT,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_2;
|
|
|
|
extern void dw2_asm_output_data_sleb128 PARAMS ((HOST_WIDE_INT,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_2;
|
|
|
|
extern void dw2_asm_output_delta_uleb128 PARAMS ((const char *, const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern void dw2_asm_output_delta_sleb128 PARAMS ((const char *, const char *,
|
|
const char *, ...))
|
|
ATTRIBUTE_NULL_PRINTF_3;
|
|
|
|
extern int size_of_uleb128 PARAMS ((unsigned HOST_WIDE_INT));
|
|
extern int size_of_sleb128 PARAMS ((HOST_WIDE_INT));
|
|
extern int size_of_encoded_value PARAMS ((int));
|
|
extern const char *eh_data_format_name PARAMS ((int));
|
|
|
|
extern void dw2_output_indirect_constants PARAMS ((void));
|