[PATCH] D21110: [CFLAA] Add yet another StratifiedAttr

[Jia Chen via llvm-commits]

grievejia added inline comments.

================
Comment at: lib/Analysis/CFLAliasAnalysis.cpp:1014
@@ +1013,3 @@
+        if (MaybeCurAttr && Direction == Level::Below)
+          Builder.noteAttributes(OtherValue, *MaybeCurAttr);
+
----------------
Ah I see what you are saying! 

Yeah this is definitely not intentionally and is a big problem... It's also not clear to me how it can be solved cleanly. I think I may have to bring in the "fake a node below this argument" trick here...


http://reviews.llvm.org/D21110