Better LCLint settings for x86_bc_insn_get_ea().

svn path=/trunk/yasm/; revision=341

diff --git a/modules/arch/x86/x86arch.h b/modules/arch/x86/x86arch.h
index 889ae9d8e03f34376b85e5109f361a5c94a227c6..336201b8e9928b9f6e0a24c6e985c36fcae83e28 100644 (file)
--- a/modules/arch/x86/x86arch.h
+++ b/modules/arch/x86/x86arch.h
@@ -47,7 +47,7 @@ effaddr *x86_ea_new_reg(unsigned char reg);
 effaddr *x86_ea_new_imm(immval *imm, unsigned char im_len);
 effaddr *x86_ea_new_expr(/*@keep@*/ expr *e);
 
-/*@null@*/ effaddr *x86_bc_insn_get_ea(bytecode *bc);
+/*@observer@*/ /*@null@*/ effaddr *x86_bc_insn_get_ea(/*@null@*/ bytecode *bc);
 
 void x86_bc_insn_opersize_override(bytecode *bc, unsigned char opersize);
 void x86_bc_insn_addrsize_override(bytecode *bc, unsigned char addrsize);

diff --git a/src/arch/x86/x86arch.h b/src/arch/x86/x86arch.h
index 889ae9d8e03f34376b85e5109f361a5c94a227c6..336201b8e9928b9f6e0a24c6e985c36fcae83e28 100644 (file)
--- a/src/arch/x86/x86arch.h
+++ b/src/arch/x86/x86arch.h
@@ -47,7 +47,7 @@ effaddr *x86_ea_new_reg(unsigned char reg);
 effaddr *x86_ea_new_imm(immval *imm, unsigned char im_len);
 effaddr *x86_ea_new_expr(/*@keep@*/ expr *e);
 
-/*@null@*/ effaddr *x86_bc_insn_get_ea(bytecode *bc);
+/*@observer@*/ /*@null@*/ effaddr *x86_bc_insn_get_ea(/*@null@*/ bytecode *bc);
 
 void x86_bc_insn_opersize_override(bytecode *bc, unsigned char opersize);
 void x86_bc_insn_addrsize_override(bytecode *bc, unsigned char addrsize);