Changeset aa492fe in mainline


Ignore:
Timestamp:
2012-08-23T14:49:38Z (12 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f0a2720
Parents:
dd13349
Message:

extend the scope of compile-time printf-like argument verification

Files:
3 added
10 edited

Legend:

Unmodified
Added
Removed

  • boot/generic/include/printf.h

    rdd13349 raa492fe  
    3535#include <typedefs.h>
    3636#include <stdarg.h>
    37 
    38 #ifndef NVERIFY_PRINTF
    39 
    40 #define PRINTF_ATTRIBUTE(start, end) \
    41         __attribute__((format(gnu_printf, start, end)))
    42 
    43 #else /* NVERIFY_PRINTF */
    44 
    45 #define PRINTF_ATTRIBUTE(start, end)
    46 
    47 #endif /* NVERIFY_PRINTF */
     37#include <printf_verify.h>
    4838
    4939#define EOF  (-1)

  • kernel/generic/include/interrupt.h

    rdd13349 raa492fe  
    5959extern exc_table_t exc_table[];
    6060
    61 extern void fault_from_uspace(istate_t *, const char *, ...);
     61extern void fault_from_uspace(istate_t *, const char *, ...)
     62    PRINTF_ATTRIBUTE(2, 3);
    6263extern void fault_if_from_uspace(istate_t *, const char *, ...)
    6364    PRINTF_ATTRIBUTE(2, 3);

  • kernel/generic/include/print.h

    rdd13349 raa492fe  
    3838#include <typedefs.h>
    3939#include <stdarg.h>
    40 
    41 #ifndef NVERIFY_PRINTF
    42 
    43 #define PRINTF_ATTRIBUTE(start, end) \
    44         __attribute__((format(gnu_printf, start, end)))
    45 
    46 #else /* NVERIFY_PRINTF */
    47 
    48 #define PRINTF_ATTRIBUTE(start, end)
    49 
    50 #endif /* NVERIFY_PRINTF */
     40#include <printf/verify.h>
    5141
    5242#define EOF  (-1)

  • uspace/app/bdsh/errors.h

    rdd13349 raa492fe  
    3030#define ERRORS_H
    3131
     32#include <io/verify.h>
     33
    3234/* Various error levels */
    3335#define CL_EFATAL  -1
    … …  
    4648extern volatile int cli_errno;
    4749
    48 extern void cli_error(int, const char *, ...);
     50extern void cli_error(int, const char *, ...)
     51    PRINTF_ATTRIBUTE(2, 3);
    4952
    5053#endif

  • uspace/app/top/screen.h

    rdd13349 raa492fe  
    3636
    3737#include <io/console.h>
     38#include <io/verify.h>
    3839#include "top.h"
    3940
    … …  
    4344extern void screen_done(void);
    4445extern void print_data(data_t *);
    45 extern void show_warning(const char *, ...);
     46extern void show_warning(const char *, ...)
     47    PRINTF_ATTRIBUTE(1, 2);
    4648
    4749extern int tgetchar(unsigned int);

  • uspace/dist/src/c/demos/top/screen.h

    rdd13349 raa492fe  
    3636
    3737#include <io/console.h>
     38#include <io/verify.h>
    3839#include "top.h"
    3940
    … …  
    4344extern void screen_done(void);
    4445extern void print_data(data_t *);
    45 extern void print_warning(const char *, ...);
     46extern void print_warning(const char *, ...)
     47    PRINTF_ATTRIBUTE(1, 2);
    4648
    4749extern int tgetchar(unsigned int);

  • uspace/lib/c/include/io/klog.h

    rdd13349 raa492fe  
    3838#include <sys/types.h>
    3939#include <stdarg.h>
     40#include <io/verify.h>
    4041
    4142extern size_t klog_write(const void *, size_t);
    4243extern void klog_update(void);
    43 extern int klog_printf(const char *, ...);
     44extern int klog_printf(const char *, ...)
     45    PRINTF_ATTRIBUTE(1, 2);
    4446extern int klog_vprintf(const char *, va_list);
    4547

  • uspace/lib/c/include/io/log.h

    rdd13349 raa492fe  
    3636
    3737#include <stdarg.h>
     38#include <io/verify.h>
    3839
    3940typedef enum {
    … …  
    4445        LVL_DEBUG,
    4546        LVL_DEBUG2,
    46 
     47       
    4748        /** For checking range of values */
    4849        LVL_LIMIT
    … …  
    5051
    5152extern int log_init(const char *, log_level_t);
    52 extern void log_msg(log_level_t, const char *, ...);
     53extern void log_msg(log_level_t, const char *, ...)
     54    PRINTF_ATTRIBUTE(2, 3);
    5355extern void log_msgv(log_level_t, const char *, va_list);
    5456

  • uspace/lib/c/include/stdio.h

    rdd13349 raa492fe  
    3939#include <stdarg.h>
    4040#include <str.h>
    41 
    42 #ifndef NVERIFY_PRINTF
    43 
    44 #define PRINTF_ATTRIBUTE(start, end) \
    45         __attribute__((format(gnu_printf, start, end)))
    46 
    47 #else /* NVERIFY_PRINTF */
    48 
    49 #define PRINTF_ATTRIBUTE(start, end)
    50 
    51 #endif /* NVERIFY_PRINTF */
     41#include <io/verify.h>
    5242
    5343#define EOF  (-1)

  • uspace/lib/drv/include/ddf/log.h

    rdd13349 raa492fe  
    3535
    3636#include <io/log.h>
     37#include <io/verify.h>
    3738
    3839extern int ddf_log_init(const char *, log_level_t);
    39 extern void ddf_msg(log_level_t, const char *, ...);
     40extern void ddf_msg(log_level_t, const char *, ...)
     41    PRINTF_ATTRIBUTE(2, 3);
    4042
    4143extern void ddf_dump_buffer(char *, size_t, const void *, size_t, size_t,
Note: See TracChangeset for help on using the changeset viewer.