mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 09:25:31 +02:00
Code Issues Wiki Activity

bug 323011: [Scanner Discovery] Source files with drive-relative paths ("/foo/bar.c") are not discovered

Browse source
This commit is contained in:
Andrew Gvozdev 2010-08-24 02:58:21 +00:00
parent 065dca29f4
commit 7620872563
1 changed files with 23 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/internal/core/scannerconfig/gnu/ScannerInfoConsoleParserUtility.java
View file

@ -182,10 +182,24 @@ public class ScannerInfoConsoleParserUtility extends AbstractGCCBOPConsoleParser
public List<String> translateRelativePaths(IFile file, String fileName, List<String> includes) {
List<String> translatedIncludes = new ArrayList<String>(includes.size());
for (Iterator<String> i = includes.iterator(); i.hasNext(); ) {
String include = i.next();
for (String include : includes) {
IPath includePath = new Path(include);
if (!includePath.isAbsolute() && !includePath.isUNC()) { // do not translate UNC paths
if (includePath.isUNC()) {
// do not translate UNC paths
} else if (includePath.isAbsolute()) {
if (includePath.getDevice()==null) {
String device = getWorkingDirectory().getDevice();
IPath candidatePath = includePath.setDevice(device);
File dir = candidatePath.toFile();
if (dir.exists()) {
include = candidatePath.toString();
} else {
final String error = MakeMessages.getString("ConsoleParser.Nonexistent_Include_Path_Error_Message"); //$NON-NLS-1$
TraceUtil.outputError(error, include);
// generateMarker(file, -1, error+include, IMarkerGenerator.SEVERITY_WARNING, fileName);
}
}
} else {
// First try the current working directory
IPath cwd = getWorkingDirectory();
if (!cwd.isAbsolute()) {
@ -193,7 +207,12 @@ public class ScannerInfoConsoleParserUtility extends AbstractGCCBOPConsoleParser
}
IPath filePath = new Path(fileName);
if (!filePath.isAbsolute()) {
if (filePath.isAbsolute()) {
if (filePath.getDevice()==null) {
String device = getWorkingDirectory().getDevice();
filePath = filePath.setDevice(device);
}
} else {
// check if the cwd is the right one
// appending fileName to cwd should yield file path
filePath = cwd.append(fileName);