public variables of superclass not visible in subclass invariant

ID0001959: This issue was created automatically from Mantis Issue 1959. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001959	Frama-Clang	Plug-in > clang	public	2014-11-10	2015-02-15

Reporter	Jochen	Assigned To	virgile	Resolution	open
Priority	normal	Severity	minor	Reproducibility	always
Platform	Neon-20140301+dev-stance	OS	-	OS Version	xubuntu-cfe13.10
Product Version	-	Target Version	-	Fixed in Version	-

Description :

output:

Now output intermediate result 120.cpp:9:[kernel] user error: Cannot find field a

If "a ==" is deleted from line 9, the error message disappears. Note that "a" is visible in the code in line 11.

Attachments

• 120.cpp
• 127.cpp
• 120a.cpp