Skip to content

Commit b8040a0

Browse files
committed
CHC:INSTR: ignore vardecl for now
1 parent 0b1fb21 commit b8040a0

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

chc/app/CInstr.py

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@
3939
from chc.app.CFile import CFile
4040
from chc.app.CFileDictionary import CFileDictionary
4141
from chc.app.CFunction import CFunction
42+
from chc.app.CLocation import CLocation
4243
from chc.app.CLval import CLval
4344
from chc.app.CStmt import CStmt
4445
from chc.app.CVisitor import CVisitor
@@ -63,6 +64,10 @@ def cfun(self) -> "CFunction":
6364
def cdictionary(self) -> "CFileDictionary":
6465
return self.parent.cdictionary
6566

67+
@property
68+
def location(self) -> "CLocation":
69+
return self.cfun.cfiledecls.read_xml_location(self.xnode)
70+
6671
@property
6772
def is_assign(self) -> bool:
6873
return False

0 commit comments

Comments
 (0)