Commit 943bfb7d authored by Alessandro Rubini's avatar Alessandro Rubini

check-error: complain if mprintf is called

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent 9d85b55f
...@@ -8,6 +8,8 @@ ...@@ -8,6 +8,8 @@
extern void __you_should_not_call_printf_from_wrpc_sw(void); extern void __you_should_not_call_printf_from_wrpc_sw(void);
extern void __you_should_not_divide_ll_in_wrpc_sw(void); extern void __you_should_not_divide_ll_in_wrpc_sw(void);
extern void __please_call_pp_printf_not_mprintf(void);
int mprintf(const char *fmt, ...);
long long __moddi3 (long long A, long long B); long long __moddi3 (long long A, long long B);
long long __divdi3 (long long A, long long B); long long __divdi3 (long long A, long long B);
...@@ -18,6 +20,14 @@ int printf(const char *fmt, ...) ...@@ -18,6 +20,14 @@ int printf(const char *fmt, ...)
return 0; return 0;
} }
int mprintf(const char *fmt, ...)
{
__please_call_pp_printf_not_mprintf();
return 0;
}
#ifdef CONFIG_PPSI /* with ppsi we can avoid libgcc code for division */ #ifdef CONFIG_PPSI /* with ppsi we can avoid libgcc code for division */
/* was used twice in picos_to_ts */ /* was used twice in picos_to_ts */
long long __moddi3 (long long A, long long B) long long __moddi3 (long long A, long long B)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment