Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 319328

Summary: Inconsistent behavior of Codan problem markers
Product: [Tools] CDT Reporter: Sergey Prigogin <eclipse.sprigogin>
Component: cdt-codanAssignee: CDT Codan Inbox <cdt-codan-inbox>
Status: NEW --- QA Contact: Elena Laskavaia <elaskavaia.cdt>
Severity: normal    
Priority: P3 CC: cdtdoug, scobido1984, yevshif
Version: 7.0   
Target Milestone: ---   
Hardware: PC   
OS: Linux   
Whiteboard:

Description Sergey Prigogin CLA 2010-07-08 19:02:40 EDT 
CDT HEAD:

Codan problem markers are created when a file is opened in an editor, but are not removed when the editor is closed. This may cause markers in the Problems view to become stale if changes made to other files eliminate the cause of the problem.
Comment 1 Elena Laskavaia CLA 2010-07-08 21:07:35 EDT 
This is intended behavior - codan markers are persistent.
Your statement is true for all persistent markers - if file changes outside
of eclipse they become obsolete. Even if they are not persistent - if you
change file in vi outside of eclipse nothing we can do about it.
Comment 2 Sergey Prigogin CLA 2010-07-08 21:21:48 EDT 
(In reply to comment #1)

The inconsistency happens during normal editing in Eclipse. Consider the following scenario:

test.h
------
struct A {
  int x;
};

test.cc
-------
#include "test.h"
B b;

1. User opens test.cc and gets a problem marker on test.cc line 2.
2. User closes test.cc.
3. User opens test.h changes A to B and saves the file.

The marker on test.cc line 2 persists in spite of the name resolution problem being fixed.
Comment 3 Elena Laskavaia CLA 2010-07-08 22:07:58 EDT 
There are problems that are generated on demand and some that are not (for example some complex dead lock problem which is very computationally expensive).
So for the first case we can re-run checkers when file is open.
Comment 4 Sergey Prigogin CLA 2010-07-08 22:39:36 EDT 
It makes sense to have some symmetry. The problem markers generated by the checkers that run only when a file is open in an editor should be erased when the file is closed. The markers created by other checkers should stay.
Comment 5 Elena Laskavaia CLA 2010-07-09 13:56:36 EDT 
that sounds good