search

henry-nazare / llvm-sra

Symbolic range analysis for LLVM.
BSD 3-Clause "New" or "Revised" License
10 stars 2 forks source link

update SAGE submodule for SAGEExpr::getSize() #9

Open liblit opened 9 years ago

liblit commented 9 years ago

Commit 2e6ad006b842d65030be5fd1fb23900a9a9a3474 introduced two calls to SAGEExpr::getSize(). That method was added to the simplify-minmax branch of llvm-sage in commit henry-nazare/llvm-sage@58cd762a6dacfe5cbbe02ea3a235d7aac6d35885. However, the master branch of llvm-sra tracks the simplify-minmax branch of llvm-sage at an earlier commit. Thus, the current master branch of llvm-sra does not actually compile with the llvm-sage submodule it is configured to use. Please update llvm-sra to use a newer llvm-sage revision that includes the required SAGEExpr::getSize() member function.

liblit commented 9 years ago

Specifically, henry-nazare/llvm-sage@1c932f10e94334db00b50fd7e27c97dea2e69f5e (the current head of the no-qepcad-on-minmax branch) seems to be working well for us.