gcc/clang treat attribute((aligned())) differently#2376

Merged

kroening merged 1 commit intodevelopfrom

gcc_attributes5_KNOWNBUG

Jun 21, 2018

Commits on Jun 21, 2018

gcc/clang treat __attribute__((aligned())) differently
Daniel Kroening
committed