From: Peter Johnson <peter@tortall.net>
Date: Mon, 19 Nov 2001 03:23:45 +0000 (-0000)
Subject: Better LCLint settings for x86_bc_insn_get_ea().
X-Git-Tag: v0.1.0~189
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ac65ee8770c9ba458bc869c9a64315f367379683;p=yasm

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 889ae9d8..336201b8 100644
--- 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 889ae9d8..336201b8 100644
--- 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);