Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
4a09815e
Commit
4a09815e
authored
Mar 26, 2020
by
Virgile Prevosto
Committed by
David Bühler
Mar 27, 2020
Browse files
[libc] Avoid confusing Eva on the value of SIG_IGN, SIG_DFL and SIG_ERR
parent
297788c4
Changes
1
Hide whitespace changes
Inline
Side-by-side
share/libc/signal.h
View file @
4a09815e
...
...
@@ -46,13 +46,13 @@ typedef void (*__fc_sighandler_t) (int);
/* for BSD 4.4 */
typedef
__fc_sighandler_t
sig_t
;
extern
sig_t
__fc_sig_dfl
;
extern
sig_t
__fc_sig_ign
;
extern
sig_t
__fc_sig_err
;
extern
void
__fc_sig_dfl
(
int
)
;
extern
void
__fc_sig_ign
(
int
)
;
extern
void
__fc_sig_err
(
int
)
;
#define SIG_DFL __fc_sig_dfl
/* default signal handling */
#define SIG_IGN __fc_sig_ign
/* ignore signal */
#define SIG_ERR __fc_sig_err
/* error return from signal */
#define SIG_DFL
(&
__fc_sig_dfl
)
/* default signal handling */
#define SIG_IGN
(&
__fc_sig_ign
)
/* ignore signal */
#define SIG_ERR
(&
__fc_sig_err
)
/* error return from signal */
#define SIG_BLOCK 0
#define SIG_UNBLOCK 1
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment