SABER

[zyw-nine]

your saber is flow-sensitive and field-sensitive and Context-Sensitive Interprocedural pointer analysis or not ?

[yuleisui]

Flow- field- and context-sensitive value-flows constructed using flow-insensitive Andersen's pointer analysis.

[zyw-nine]

In BreakConstantExpr.cpp ,line 88, you code is
88 "static ConstantExpr *
89 hasConstantGEP (Value * V) {
90 if (ConstantExpr * CE = dyn_cast(V)) {
91 if (CE->getOpcode() == Instruction::GetElementPtr) {
92 return CE;
93} else {
94for (unsigned index = 0; index < CE->getNumOperands(); ++index) {
95if (hasConstantGEP (CE->getOperand(index)))
96return CE;
97}
98}
}

return 0;

}"

but I can't go to line 92 and 96, what is the instruction or code you can arrive the line 92 and 96?

[yuleisui]

will reach 93-96 If "CE->getOpcode() == Instruction::GetElementPtr" is not true (operator other than GetElementPtr).

It recursively expands the constant expression to flat all GetElementPtr CEs.