public void testGCC20000412_5() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int main(void) { \n");
buffer.append(" struct { \n");
buffer.append(" int node; \n");
buffer.append(" int type; \n");
buffer.append(" } lastglob[1] = { { 0, 1 } }; \n");
buffer.append(" if (lastglob[0].node != 0 || lastglob[0].type != 1) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 10);
IField node = (IField) collector.getName(3).resolveBinding();
IField type = (IField) collector.getName(4).resolveBinding();
IVariable lastglob = (IVariable) collector.getName(5).resolveBinding();
assertInstances(collector, node, 2);
assertInstances(collector, type, 2);
assertInstances(collector, lastglob, 3);
}
public void testGCC20000412_1() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("short int i = -1; \n");
buffer.append("const char * const wordlist[207]; \n");
buffer.append("const char * const * foo(void) { \n");
buffer.append(" register const char * const *wordptr = &wordlist[207u + i]; \n");
buffer.append(" return wordptr; \n");
buffer.append("} \n");
buffer.append("int main() { \n");
buffer.append(" if (foo() != &wordlist[206]) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 11);
IVariable i = (IVariable) collector.getName(0).resolveBinding();
IVariable wordlist = (IVariable) collector.getName(1).resolveBinding();
IFunction foo = (IFunction) collector.getName(2).resolveBinding();
IVariable wordptr = (IVariable) collector.getName(4).resolveBinding();
assertInstances(collector, i, 2);
assertInstances(collector, wordlist, 3);
assertInstances(collector, foo, 2);
assertInstances(collector, wordptr, 2);
}
public void testGCC20000225() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int main() { \n");
buffer.append(" int nResult, b = 0, i = -1; \n");
buffer.append(" do { \n");
buffer.append(" if (b != 0) { \n");
buffer.append(" nResult = 1; \n");
buffer.append(" } else { \n");
buffer.append(" nResult = 0; \n");
buffer.append(" } \n");
buffer.append(" i++; \n");
buffer.append(" b = (i + 2) * 4; \n");
buffer.append(" } while (i < 0); \n");
buffer.append(" return -1; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 11);
IVariable nResult = (IVariable) collector.getName(1).resolveBinding();
IVariable b = (IVariable) collector.getName(2).resolveBinding();
IVariable i = (IVariable) collector.getName(3).resolveBinding();
assertInstances(collector, nResult, 3);
assertInstances(collector, b, 3);
assertInstances(collector, i, 4);
}
public void testGCC20000227() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("static const unsigned char f[] = \"\\0\\377\"; \n");
buffer.append("static const unsigned char g[] = \"\\0y\"; \n");
buffer.append("int main() { \n");
buffer.append(" if (sizeof f != 3 || sizeof g != 3) \n");
buffer.append(" return -1; \n");
buffer.append(" if (f[0] != g[0]) \n");
buffer.append(" return -1; \n");
buffer.append(" if (f[1] != g[1] || f[2] != g[2]) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 11);
IVariable f = (IVariable) collector.getName(0).resolveBinding();
IVariable g = (IVariable) collector.getName(1).resolveBinding();
assertInstances(collector, f, 5);
assertInstances(collector, g, 5);
}
public void testGCCenum_2() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("enum foo { FOO, BAR }; \n");
buffer.append("int main() { \n");
buffer.append(" int i; \n");
buffer.append(" for (i = BAR; i >= FOO; --i) \n");
buffer.append(" if (i == -1) return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 11);
IEnumeration foo = (IEnumeration) collector.getName(0).resolveBinding();
IEnumerator FOO = (IEnumerator) collector.getName(1).resolveBinding();
IEnumerator BAR = (IEnumerator) collector.getName(2).resolveBinding();
IVariable i = (IVariable) collector.getName(4).resolveBinding();
assertInstances(collector, foo, 1);
assertInstances(collector, FOO, 2);
assertInstances(collector, BAR, 2);
assertInstances(collector, i, 5);
}
public void testGCC20000217() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("unsigned short int showbug(unsigned short int * a, \n");
buffer.append(" unsigned short int * b) { \n");
buffer.append(" *a += *b - 8; \n");
buffer.append(" return (*a >= 8); \n");
buffer.append("} \n");
buffer.append("int main() { \n");
buffer.append(" unsigned short int x = 0; \n");
buffer.append(" unsigned short int y = 10; \n");
buffer.append(" if (showbug(&x, &y) != 0) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 12);
IFunction showBug = (IFunction) collector.getName(0).resolveBinding();
IVariable a = (IVariable) collector.getName(1).resolveBinding();
IVariable b = (IVariable) collector.getName(2).resolveBinding();
IVariable x = (IVariable) collector.getName(7).resolveBinding();
IVariable y = (IVariable) collector.getName(8).resolveBinding();
assertInstances(collector, showBug, 2);
assertInstances(collector, a, 3);
assertInstances(collector, b, 2);
assertInstances(collector, x, 2);
assertInstances(collector, y, 2);
}
private IASTCompositeTypeSpecifier findCurrentCompositeTypeSpecifier(IASTTranslationUnit ast)
throws OperationCanceledException, CoreException {
final int start = selectedRegion.getOffset();
Container<IASTCompositeTypeSpecifier> container = new Container<IASTCompositeTypeSpecifier>();
ast.accept(new CompositeTypeSpecFinder(start, container));
return container.getObject();
}
public void testGCC20000314_2() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("typedef unsigned long long uint64; \n");
buffer.append("const uint64 bigconst = 1ULL << 34; \n");
buffer.append("int a = 1; \n");
buffer.append("static uint64 getmask(void) { \n");
buffer.append(" if (a) return bigconst; \n");
buffer.append(" else return 0; \n");
buffer.append("} \n");
buffer.append("main() { \n");
buffer.append(" uint64 f = getmask(); \n");
buffer.append(" if (sizeof (long long) == 8 && f != bigconst) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 15);
ITypedef uint64 = (ITypedef) collector.getName(0).resolveBinding();
IVariable bigconst = (IVariable) collector.getName(2).resolveBinding();
IVariable a = (IVariable) collector.getName(3).resolveBinding();
IFunction getmask = (IFunction) collector.getName(5).resolveBinding();
IVariable f = (IVariable) collector.getName(11).resolveBinding();
assertInstances(collector, uint64, 4);
assertInstances(collector, bigconst, 3);
assertInstances(collector, a, 2);
assertInstances(collector, getmask, 2);
assertInstances(collector, f, 2);
}
public void testGCC20000412_2() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int f(int a, int *y) { \n");
buffer.append(" int x = a; \n");
buffer.append(" if (a == 0) return *y; \n");
buffer.append(" return f(a-1, &x); \n");
buffer.append("} \n");
buffer.append("int main(int argc, char** argv) { \n");
buffer.append(" if (f(100, (int *) 0) != 1) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 14);
IFunction f = (IFunction) collector.getName(0).resolveBinding();
IParameter a = (IParameter) collector.getName(1).resolveBinding();
IParameter y = (IParameter) collector.getName(2).resolveBinding();
IVariable x = (IVariable) collector.getName(3).resolveBinding();
assertInstances(collector, f, 3);
assertInstances(collector, a, 4);
assertInstances(collector, y, 2);
assertInstances(collector, x, 2);
}
@Override
public void analyze(
final AnalysisConfig config,
final AnalysisResult result,
final IChecker checker,
IASTTranslationUnit unit) {
translationUnit = unit;
ASTVisitor visitor = createVisitor(config, result, checker);
visitor.shouldVisitDeclarations = true;
unit.accept(visitor);
}
public void testGCC20000412_4() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("void f(int i, int j, int radius, int width, int N) { \n");
buffer.append(" const int diff = i - radius; \n");
buffer.append(" const int lowk = (diff > 0 ? diff : 0); \n");
buffer.append(" int k; \n");
buffer.append(" for (k = lowk; k <= 2; k++) { \n");
buffer.append(" int idx = ((k-i+radius) * width - j + radius); \n");
buffer.append(" if (idx < 0) return -1; \n");
buffer.append(" } \n");
buffer.append(" for (k = lowk; k <= 2; k++) ; \n");
buffer.append("} \n");
buffer.append("int main (int argc, char** argv) { \n");
buffer.append(" int exc_rad = 2; \n");
buffer.append(" int N = 8; \n");
buffer.append(" int i; \n");
buffer.append(" for (i = 1; i < 4; i++) \n");
buffer.append(" f(i, 1, exc_rad, 2*exc_rad + 1, N); \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 43);
IFunction f = (IFunction) collector.getName(0).resolveBinding();
IParameter i1 = (IParameter) collector.getName(1).resolveBinding();
IParameter j = (IParameter) collector.getName(2).resolveBinding();
IParameter radius = (IParameter) collector.getName(3).resolveBinding();
IParameter width = (IParameter) collector.getName(4).resolveBinding();
IParameter N1 = (IParameter) collector.getName(5).resolveBinding();
IVariable diff = (IVariable) collector.getName(6).resolveBinding();
IVariable lowk = (IVariable) collector.getName(9).resolveBinding();
IVariable k = (IVariable) collector.getName(12).resolveBinding();
IVariable idx = (IVariable) collector.getName(17).resolveBinding();
IVariable exc_rad = (IVariable) collector.getName(32).resolveBinding();
IVariable N2 = (IVariable) collector.getName(33).resolveBinding();
IVariable i2 = (IVariable) collector.getName(34).resolveBinding();
assertInstances(collector, f, 2);
assertInstances(collector, i1, 3);
assertInstances(collector, j, 2);
assertInstances(collector, radius, 4);
assertInstances(collector, width, 2);
assertInstances(collector, N1, 1);
assertInstances(collector, diff, 3);
assertInstances(collector, lowk, 3);
assertInstances(collector, k, 8);
assertInstances(collector, idx, 2);
assertInstances(collector, exc_rad, 3);
assertInstances(collector, N2, 2);
assertInstances(collector, i2, 5);
}
public void testGCC20000511() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int f(int value, int expect) { \n");
buffer.append(" return (value == expect); \n");
buffer.append("} \n");
buffer.append("main() { \n");
buffer.append(" int a = 7, b = 6, c = 4, d = 7, e = 2; \n");
buffer.append(" f(a || b % c, 1); \n");
buffer.append(" f(a ? b % c : 0, 2); \n");
buffer.append(" f(a = b % c, 2); \n");
buffer.append(" f(a *= b % c, 4); \n");
buffer.append(" f(a /= b % c, 2); \n");
buffer.append(" f(a %= b % c, 0); \n");
buffer.append(" f(a += b % c, 2); \n");
buffer.append(" f(d || c && e, 1); \n");
buffer.append(" f(d ? c && e : 0, 1); \n");
buffer.append(" f(d = c && e, 1); \n");
buffer.append(" f(d *= c && e, 1); \n");
buffer.append(" f(d %= c && e, 0); \n");
buffer.append(" f(d += c && e, 1); \n");
buffer.append(" f(d -= c && e, 0); \n");
buffer.append(" f(d || c || e, 1); \n");
buffer.append(" f(d ? c || e : 0, 0); \n");
buffer.append(" f(d = c || e, 1); \n");
buffer.append(" f(d *= c || e, 1); \n");
buffer.append(" f(d %= c || e, 0); \n");
buffer.append(" f(d += c || e, 1); \n");
buffer.append(" f(d -= c || e, 0); \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 95);
IFunction f = (IFunction) collector.getName(0).resolveBinding();
IParameter v = (IParameter) collector.getName(1).resolveBinding();
IParameter ex = (IParameter) collector.getName(2).resolveBinding();
IVariable a = (IVariable) collector.getName(6).resolveBinding();
IVariable b = (IVariable) collector.getName(7).resolveBinding();
IVariable c = (IVariable) collector.getName(8).resolveBinding();
IVariable d = (IVariable) collector.getName(9).resolveBinding();
IVariable e = (IVariable) collector.getName(10).resolveBinding();
assertInstances(collector, f, 22);
assertInstances(collector, v, 2);
assertInstances(collector, ex, 2);
assertInstances(collector, a, 8);
assertInstances(collector, b, 8);
assertInstances(collector, c, 22);
assertInstances(collector, d, 15);
assertInstances(collector, e, 15);
}
protected final void checkBindings() throws Exception {
for (int i = 0; i < strategy.getAstCount(); i++) {
IASTTranslationUnit ast = strategy.getAst(i);
CNameCollector col = new CNameCollector();
ast.accept(col);
for (IASTName n : col.nameList) {
assertFalse(
"ProblemBinding for " + n.getRawSignature(),
n.resolveBinding() instanceof IProblemBinding);
}
}
}
public void testGCC20000419() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("struct foo { int a, b, c; }; \n");
buffer.append("void brother(int a, int b, int c) { \n");
buffer.append(" if (a) return; \n");
buffer.append("} \n");
buffer.append("void sister(struct foo f, int b, int c) { \n");
buffer.append(" brother((f.b == b), b, c); \n");
buffer.append("} \n");
buffer.append("int main() { \n");
buffer.append(" struct foo f = { 7, 8, 9 }; \n");
buffer.append(" sister(f, 1, 2); \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 25);
ICompositeType foo = (ICompositeType) collector.getName(0).resolveBinding();
IField fa = (IField) collector.getName(1).resolveBinding();
IField fb = (IField) collector.getName(2).resolveBinding();
IField fc = (IField) collector.getName(3).resolveBinding();
IFunction brother = (IFunction) collector.getName(4).resolveBinding();
IParameter pa = (IParameter) collector.getName(5).resolveBinding();
IParameter pb = (IParameter) collector.getName(6).resolveBinding();
IParameter pc = (IParameter) collector.getName(7).resolveBinding();
IFunction sister = (IFunction) collector.getName(9).resolveBinding();
IParameter sf = (IParameter) collector.getName(11).resolveBinding();
IParameter sb = (IParameter) collector.getName(12).resolveBinding();
IParameter sc = (IParameter) collector.getName(13).resolveBinding();
IVariable f = (IVariable) collector.getName(22).resolveBinding();
assertInstances(collector, foo, 3);
assertInstances(collector, fa, 1);
assertInstances(collector, fb, 2);
assertInstances(collector, fc, 1);
assertInstances(collector, brother, 2);
assertInstances(collector, pa, 2);
assertInstances(collector, pb, 1);
assertInstances(collector, pc, 1);
assertInstances(collector, sister, 2);
assertInstances(collector, sf, 2);
assertInstances(collector, sb, 3);
assertInstances(collector, sc, 2);
assertInstances(collector, f, 2);
}
public void testGCC20000412_3() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("typedef struct { \n");
buffer.append(" char y; \n");
buffer.append(" char x[32]; \n");
buffer.append("} X; \n");
buffer.append("int z(void) { \n");
buffer.append(" X xxx; \n");
buffer.append(" xxx.x[0] = xxx.x[31] = '0'; \n");
buffer.append(" xxx.y = 0xf; \n");
buffer.append(" return f(xxx, xxx); \n");
buffer.append("} \n");
buffer.append("int main (void) { \n");
buffer.append(" int val; \n");
buffer.append(" val = z(); \n");
buffer.append(" if (val != 0x60) return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
buffer.append("int f(X x, X y) { \n");
buffer.append(" if (x.y != y.y) \n");
buffer.append(" return 'F'; \n");
buffer.append(" return x.x[0] + y.x[0]; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 36);
IField y = (IField) collector.getName(1).resolveBinding();
IField x = (IField) collector.getName(2).resolveBinding();
ITypedef X = (ITypedef) collector.getName(3).resolveBinding();
IFunction z = (IFunction) collector.getName(4).resolveBinding();
IVariable xxx = (IVariable) collector.getName(7).resolveBinding();
IVariable val = (IVariable) collector.getName(19).resolveBinding();
IParameter px = (IParameter) collector.getName(25).resolveBinding();
IParameter py = (IParameter) collector.getName(27).resolveBinding();
assertInstances(collector, y, 4);
assertInstances(collector, x, 5);
assertInstances(collector, X, 4);
assertInstances(collector, z, 2);
assertInstances(collector, xxx, 6);
assertInstances(collector, val, 3);
assertInstances(collector, px, 3);
assertInstances(collector, py, 3);
}
public void testGCC20000403() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("extern unsigned long aa[], bb[]; \n");
buffer.append("int seqgt(unsigned long a, unsigned short win, unsigned long b); \n");
buffer.append("int seqgt2 (unsigned long a, unsigned short win, unsigned long b); \n");
buffer.append("main() { \n");
buffer.append(" if (!seqgt(*aa, 0x1000, *bb) || !seqgt2(*aa, 0x1000, *bb)) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
buffer.append("int seqgt(unsigned long a, unsigned short win, unsigned long b) { \n");
buffer.append(" return (long) ((a + win) - b) > 0; \n");
buffer.append("} \n");
buffer.append("int seqgt2(unsigned long a, unsigned short win, unsigned long b) { \n");
buffer.append(" long l = ((a + win) - b); \n");
buffer.append(" return 1 > 0; \n");
buffer.append("} \n");
buffer.append("unsigned long aa[] = { (1UL << (sizeof(long) *8 - 1)) = 0xfff }; \n");
buffer.append("unsigned long bb[] = { (1UL << (sizeof(long) *8 - 1)) = 0xfff }; \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 34);
IVariable aa = (IVariable) collector.getName(0).resolveBinding();
IVariable bb = (IVariable) collector.getName(1).resolveBinding();
IFunction seqgt = (IFunction) collector.getName(2).resolveBinding();
IParameter a1 = (IParameter) collector.getName(3).resolveBinding();
IParameter win1 = (IParameter) collector.getName(4).resolveBinding();
IParameter b1 = (IParameter) collector.getName(5).resolveBinding();
IFunction seqgt2 = (IFunction) collector.getName(6).resolveBinding();
IParameter a2 = (IParameter) collector.getName(7).resolveBinding();
IParameter win2 = (IParameter) collector.getName(8).resolveBinding();
IParameter b2 = (IParameter) collector.getName(9).resolveBinding();
assertInstances(collector, aa, 4);
assertInstances(collector, bb, 4);
assertInstances(collector, seqgt, 3);
assertInstances(collector, a1, 3);
assertInstances(collector, win1, 3);
assertInstances(collector, b1, 3);
assertInstances(collector, seqgt2, 3);
assertInstances(collector, a2, 3);
assertInstances(collector, win2, 3);
assertInstances(collector, b2, 3);
}
public void testGCC20000113() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("struct x { \n");
buffer.append(" unsigned x1:1; \n");
buffer.append(" unsigned x2:2; \n");
buffer.append(" unsigned x3:3; \n");
buffer.append("}; \n");
buffer.append("foobar(int x, int y, int z) { \n");
buffer.append(" struct x a = {x, y, z}; \n");
buffer.append(" struct x b = {x, y, z}; \n");
buffer.append(" struct x *c = &b; \n");
buffer.append(" c->x3 += (a.x2 - a.x1) * c->x2; \n");
buffer.append(" if (a.x1 != 1 || c->x3 != 5) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 33);
ICompositeType x = (ICompositeType) collector.getName(0).resolveBinding();
IField x1 = (IField) collector.getName(1).resolveBinding();
IField x2 = (IField) collector.getName(2).resolveBinding();
IField x3 = (IField) collector.getName(3).resolveBinding();
IVariable vx = (IVariable) collector.getName(5).resolveBinding();
IVariable vy = (IVariable) collector.getName(6).resolveBinding();
IVariable vz = (IVariable) collector.getName(7).resolveBinding();
IVariable a = (IVariable) collector.getName(9).resolveBinding();
IVariable b = (IVariable) collector.getName(14).resolveBinding();
IVariable c = (IVariable) collector.getName(19).resolveBinding();
assertInstances(collector, x, 4);
assertInstances(collector, x1, 3);
assertInstances(collector, x2, 3);
assertInstances(collector, x3, 3);
assertInstances(collector, vx, 3);
assertInstances(collector, vy, 3);
assertInstances(collector, vz, 3);
assertInstances(collector, a, 4);
assertInstances(collector, b, 2);
assertInstances(collector, c, 4);
}
public void testGCC20000503() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("unsigned long sub(int a) { \n");
buffer.append(" return ((0 > a - 2) ? 0 : a - 2) * sizeof(long); \n");
buffer.append("} \n");
buffer.append("main() { \n");
buffer.append(" return (sub(0) != 0); \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 6);
IFunction sub = (IFunction) collector.getName(0).resolveBinding();
IParameter a = (IParameter) collector.getName(1).resolveBinding();
assertInstances(collector, sub, 2);
assertInstances(collector, a, 3);
}
public void testGCC20000314_1() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int main() { \n");
buffer.append(" long winds = 0; \n");
buffer.append(" while (winds != 0) { \n");
buffer.append(" if (*(char*)winds) \n");
buffer.append(" break; \n");
buffer.append(" } \n");
buffer.append(" if (winds == 0 || winds != 0 || *(char*) winds) \n");
buffer.append(" return 0; \n");
buffer.append(" return -1; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 7);
IVariable winds = (IVariable) collector.getName(1).resolveBinding();
assertInstances(collector, winds, 6);
}
public void testGCC20000603() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("struct s1 { double d; }; \n");
buffer.append("struct s2 { double d; }; \n");
buffer.append("double f(struct s1 * a, struct s2 *b) { \n");
buffer.append(" a->d = 1.0; \n");
buffer.append(" return b->d + 1.0; \n");
buffer.append("} \n");
buffer.append("int main() { \n");
buffer.append(" struct s1 a; \n");
buffer.append(" a.d = 0.0; \n");
buffer.append(" if (f(&a, (struct s2 *)&a) != 2.0) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 22);
ICompositeType s1 = (ICompositeType) collector.getName(0).resolveBinding();
IField d1 = (IField) collector.getName(1).resolveBinding();
ICompositeType s2 = (ICompositeType) collector.getName(2).resolveBinding();
IField d2 = (IField) collector.getName(3).resolveBinding();
IFunction f = (IFunction) collector.getName(4).resolveBinding();
IParameter pa = (IParameter) collector.getName(6).resolveBinding();
IParameter pb = (IParameter) collector.getName(8).resolveBinding();
IVariable a = (IVariable) collector.getName(15).resolveBinding();
assertInstances(collector, s1, 3);
assertInstances(collector, s2, 3);
assertInstances(collector, d1, 3);
assertInstances(collector, d2, 2);
assertInstances(collector, f, 2);
assertInstances(collector, pa, 2);
assertInstances(collector, pb, 2);
assertInstances(collector, a, 4);
}
public void testGCC20000313() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("unsigned int buggy(unsigned int *param) { \n");
buffer.append(" unsigned int accu, zero = 0, borrow; \n");
buffer.append(" accu = - *param; \n");
buffer.append(" borrow = - (accu > zero); \n");
buffer.append(" return borrow; \n");
buffer.append("} \n");
buffer.append("int main(void) { \n");
buffer.append(" unsigned int param = 1; \n");
buffer.append(" unsigned int borrow = buggy (¶m); \n");
buffer.append(" if (param != 0) \n");
buffer.append(" return -1; \n");
buffer.append(" if (borrow +1 != 0) \n");
buffer.append(" return -1; \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 19);
IFunction buggy = (IFunction) collector.getName(0).resolveBinding();
IParameter param = (IParameter) collector.getName(1).resolveBinding();
IVariable accu = (IVariable) collector.getName(2).resolveBinding();
IVariable zero = (IVariable) collector.getName(3).resolveBinding();
IVariable borrow = (IVariable) collector.getName(4).resolveBinding();
IVariable param2 = (IVariable) collector.getName(13).resolveBinding();
IVariable borrow2 = (IVariable) collector.getName(14).resolveBinding();
assertInstances(collector, buggy, 2);
assertInstances(collector, param, 2);
assertInstances(collector, accu, 3);
assertInstances(collector, zero, 2);
assertInstances(collector, borrow, 3);
assertInstances(collector, param2, 3);
assertInstances(collector, borrow2, 2);
}
public void testGCC20000605_2() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("struct F { int i; }; \n");
buffer.append("void f1(struct F *x, struct F * y) { \n");
buffer.append(" int timeout = 0; \n");
buffer.append(" for (; ((const struct F*)x)->i < y->i; x->i++) \n");
buffer.append(" if (++timeout > 5) \n");
buffer.append(" return; \n");
buffer.append("} \n");
buffer.append("main() { \n");
buffer.append(" struct F x, y; \n");
buffer.append(" x.i = 0; y.i = 1; \n");
buffer.append(" f1(&x, &y); \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 27);
ICompositeType F = (ICompositeType) collector.getName(0).resolveBinding();
IField i = (IField) collector.getName(1).resolveBinding();
IFunction f1 = (IFunction) collector.getName(2).resolveBinding();
IParameter px = (IParameter) collector.getName(4).resolveBinding();
IParameter py = (IParameter) collector.getName(6).resolveBinding();
IVariable timeout = (IVariable) collector.getName(7).resolveBinding();
IVariable x = (IVariable) collector.getName(18).resolveBinding();
IVariable y = (IVariable) collector.getName(19).resolveBinding();
assertInstances(collector, F, 5);
assertInstances(collector, i, 6);
assertInstances(collector, f1, 2);
assertInstances(collector, px, 3);
assertInstances(collector, py, 2);
assertInstances(collector, timeout, 2);
assertInstances(collector, x, 3);
assertInstances(collector, y, 3);
}
public void testGCC20000205() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("static int f(int a) { \n");
buffer.append(" if (a == 0) \n");
buffer.append(" return 0; \n");
buffer.append(" do \n");
buffer.append(" if (a & 128) \n");
buffer.append(" return 1; \n");
buffer.append(" while (f(0)); \n");
buffer.append(" return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 5);
IFunction f = (IFunction) collector.getName(0).resolveBinding();
IVariable a = (IVariable) collector.getName(1).resolveBinding();
assertInstances(collector, f, 2);
assertInstances(collector, a, 3);
}
public void testGCC20000224() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("int loop_1 = 100; \n");
buffer.append("int loop_2 = 7; \n");
buffer.append("int flag = 0; \n");
buffer.append("int test(void) { \n");
buffer.append(" int i; \n");
buffer.append(" int counter = 0; \n");
buffer.append(" while (loop_1 > counter) { \n");
buffer.append(" if (flag & 1) { \n");
buffer.append(" for (i = 0; i < loop_2; i++) { \n");
buffer.append(" counter++; \n");
buffer.append(" } \n");
buffer.append(" } \n");
buffer.append(" flag++; \n");
buffer.append(" } \n");
buffer.append(" return 1; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 16);
IVariable loop1 = (IVariable) collector.getName(0).resolveBinding();
IVariable loop2 = (IVariable) collector.getName(1).resolveBinding();
IVariable flag = (IVariable) collector.getName(2).resolveBinding();
IVariable i = (IVariable) collector.getName(5).resolveBinding();
IVariable counter = (IVariable) collector.getName(6).resolveBinding();
assertInstances(collector, loop1, 2);
assertInstances(collector, loop2, 2);
assertInstances(collector, flag, 3);
assertInstances(collector, i, 4);
assertInstances(collector, counter, 3);
}
public void testGCC20000605_3() throws Exception {
StringBuilder buffer = new StringBuilder();
buffer.append("struct F { int x; int y; }; \n");
buffer.append("int main() { \n");
buffer.append(" int timeout = 0, x = 0; \n");
buffer.append(" while (1) { \n");
buffer.append(" const struct F i = { x++, }; \n");
buffer.append(" if (i.x > 0) \n");
buffer.append(" break; \n");
buffer.append(" if (++timeout > 5) \n");
buffer.append(" goto die; \n");
buffer.append(" } \n");
buffer.append(" die: return 0; \n");
buffer.append("} \n");
IASTTranslationUnit tu = parse(buffer.toString(), ParserLanguage.C);
CNameCollector collector = new CNameCollector();
tu.accept(collector);
assertEquals(collector.size(), 14);
ICompositeType F = (ICompositeType) collector.getName(0).resolveBinding();
IField fx = (IField) collector.getName(1).resolveBinding();
IField fy = (IField) collector.getName(2).resolveBinding();
IVariable timeout = (IVariable) collector.getName(4).resolveBinding();
IVariable x = (IVariable) collector.getName(5).resolveBinding();
IVariable i = (IVariable) collector.getName(7).resolveBinding();
ILabel die = (ILabel) collector.getName(13).resolveBinding();
assertInstances(collector, F, 2);
assertInstances(collector, fx, 2);
assertInstances(collector, fy, 1);
assertInstances(collector, timeout, 2);
assertInstances(collector, x, 2);
assertInstances(collector, i, 2);
assertInstances(collector, die, 2);
}
private boolean navigationFallBack(IASTTranslationUnit ast, IASTName sourceName, NameKind kind) {
// Bug 102643, as a fall-back we look up the selected word in the index.
if (fSelectedText != null && fSelectedText.length() > 0) {
try {
final ICProject project = fTranslationUnit.getCProject();
final char[] name = fSelectedText.toCharArray();
List<ICElement> elems = new ArrayList<ICElement>();
// Bug 252549, search for names in the AST first.
Set<IBinding> primaryBindings = new HashSet<IBinding>();
ASTNameCollector nc = new ASTNameCollector(fSelectedText);
ast.accept(nc);
IASTName[] candidates = nc.getNames();
for (IASTName astName : candidates) {
try {
IBinding b = astName.resolveBinding();
if (b != null && !(b instanceof IProblemBinding)) {
primaryBindings.add(b);
}
} catch (RuntimeException e) {
CUIPlugin.log(e);
}
}
// Search the index, also.
final IndexFilter filter =
IndexFilter.getDeclaredBindingFilter(ast.getLinkage().getLinkageID(), false);
final IIndexBinding[] idxBindings = fIndex.findBindings(name, false, filter, fMonitor);
for (IIndexBinding idxBinding : idxBindings) {
primaryBindings.add(idxBinding);
}
// Search for a macro in the index.
IIndexMacro[] macros = fIndex.findMacros(name, filter, fMonitor);
for (IIndexMacro macro : macros) {
ICElement elem = IndexUI.getCElementForMacro(project, fIndex, macro);
if (elem != null) {
elems.add(elem);
}
}
Collection<IBinding> secondaryBindings;
if (ast instanceof ICPPASTTranslationUnit) {
secondaryBindings = cppRemoveSecondaryBindings(primaryBindings, sourceName);
} else {
secondaryBindings = defaultRemoveSecondaryBindings(primaryBindings, sourceName);
}
// Convert bindings to CElements.
Collection<IBinding> bs = primaryBindings;
for (int k = 0; k < 2; k++) {
for (IBinding binding : bs) {
IName[] names = findNames(fIndex, ast, kind, binding);
// Exclude names of the same kind.
for (int i = 0; i < names.length; i++) {
if (getNameKind(names[i]) == kind) {
names[i] = null;
}
}
names = (IName[]) ArrayUtil.removeNulls(IName.class, names);
convertToCElements(project, fIndex, names, elems);
}
// In case we did not find anything, consider the secondary bindings.
if (!elems.isEmpty()) break;
bs = secondaryBindings;
}
if (navigateCElements(elems)) {
return true;
}
if (sourceName != null && sourceName.isDeclaration()) {
// Select the name at the current location as the last resort.
return navigateToName(sourceName);
}
} catch (CoreException e) {
CUIPlugin.log(e);
}
}
return false;
}
public static void main(String[] args) throws CoreException {
StringBuilder content = new StringBuilder();
// content.append("#include <stdio.h>\n");
content.append("#define MUL(i, j) (i*j)\n");
// content.append("int main(int argc, char **argv) {\n");
// content.append(" int x = AVAR;\n");
// content.append("#ifdef bla\n");
// content.append(" x=1+2;\n");
// content.append("#endif\n");
// content.append(" return x;\n");
// content.append("};\n");
HashMap<String, String> options = new HashMap<String, String>();
// options.put("bla", "1");
ScannerInfo scannerInfo = new ScannerInfo(options);
IASTTranslationUnit astTranslationUnit =
GCCLanguage.getDefault()
.getASTTranslationUnit(
FileContent.create("someFile.c", content.toString().toCharArray()),
scannerInfo,
IncludeFileContentProvider.getEmptyFilesProvider(),
null,
0,
new DefaultLogService());
IASTPreprocessorMacroDefinition[] macroDefinitions = astTranslationUnit.getMacroDefinitions();
for (IASTPreprocessorMacroDefinition md : macroDefinitions) {
IASTPreprocessorMacroDefinition def = (IASTPreprocessorMacroDefinition) md;
System.err.println(def.getExpansion());
System.err.println(md.toString());
}
astTranslationUnit.accept(
new ASTVisitor(true) {
public int visist(IASTTranslationUnit x) {
System.out.println("Visit IASTPreprocessorMacroDefinition");
for (IASTPreprocessorMacroDefinition m : x.getMacroDefinitions()) {
String name = m.getName().toString();
String valueAsString = m.getExpansion();
// if (StringUtils.isNotEmpty(valueAsString)) {
// ListSequence.fromList(SLinkOperations.getTargets(externalModule,
// "contents", true)).addElement(createGlobalConstantDeclaration(name,
// valueAsString));
// }
}
return PROCESS_CONTINUE;
}
public int visit(IASTTranslationUnit x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTName x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTDeclaration x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTInitializer x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTParameterDeclaration x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTDeclarator x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTDeclSpecifier x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTArrayModifier x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTPointerOperator x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTExpression x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTStatement x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTTypeId x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTEnumerator x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(IASTProblem x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(ICPPASTBaseSpecifier x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(ICPPASTNamespaceDefinition x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(ICPPASTTemplateParameter x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(ICPPASTCapture x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
public int visit(ICASTDesignator x) {
System.err.println(x.toString());
return PROCESS_CONTINUE;
}
});
System.out.println("parsed");
}
